Recomienda este artículo a tus amigos:
Proof in VDM: Case Studies - Formal Approaches to Computing and Information Technology (FACIT) J C Bicarregui Softcover reprint of the original 1st ed. 1998 edition
Proof in VDM: Case Studies - Formal Approaches to Computing and Information Technology (FACIT)
J C Bicarregui
With contributions by numerous experts.
226 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 2 de marzo de 1998 |
| Fecha de lanzamiento original | 1997 |
| ISBN13 | 9783540761860 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 226 |
| Dimensiones | 155 × 235 × 13 mm · 344 g |
| Lengua | Alemán |
| Editor | Bicarregui, Juan C. |