Recomienda este artículo a tus amigos:
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings - Lecture Notes in Computer Science A C Schrijver 2002 edition
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings - Lecture Notes in Computer Science
A C Schrijver
This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002).
632 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 10 de julio de 2002 |
| ISBN13 | 9783540439288 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 632 |
| Dimensiones | 155 × 235 × 32 mm · 1,47 kg |
| Lengua | Alemán |
| Editor | Eriksson, Lars-Henrik |
| Editor | Lindsay, Peter A. |