FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings - Lecture Notes in Computer Science - J N Oliveira - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540417910 - 28 lutego 2001
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings - Lecture Notes in Computer Science 2001 edition

J N Oliveira

Cena
zł 494,90

Zamówione z odległego magazynu

Przewidywana dostawa 2 - 14 paź

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings - Lecture Notes in Computer Science 2001 edition

FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development.

634 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 28 lutego 2001
ISBN13 9783540417910
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 634
Wymiary 155 × 233 × 33 mm   ·   893 g
Redaktor Oliveira, Jose N.
Redaktor Zave, Pamela

Zobacz wszystko od J N Oliveira ( np. Paperback Book )