Pastāsti draugiem par šo preci:
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 2001 edition
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
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2001. gada 28. februāris |
| ISBN13 | 9783540417910 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 634 |
| Izmēri | 155 × 233 × 33 mm · 893 g |
| Valoda | Vācu |
| Redaktors | Oliveira, Jose N. |
| Redaktors | Zave, Pamela |