Proceedings of the Intl Symposium of Formal Methods, held July 22-24, 2002 in Copenhagen, Denmark. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields. Softcover.

Скачать книгу бесплатно (pdf, 5.34 Mb)

---

Читать «FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings »