![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](https://imusic.b-cdn.net/images/item/original/910/9783540417910.jpg?j-n-oliveira-2001-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-paperback-book&class=scaled&v=1610433578)
Powiedz znajomym o tym przedmiocie:
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
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
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 )