Recomienda este artículo a tus amigos:
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings - Lecture Notes in Computer Science 1st ed. 2018 edition
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings - Lecture Notes in Computer Science
540 pages, 103 Illustrations, black and white; XVIII, 540 p. 103 illus.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 10 de enero de 2018 |
| ISBN13 | 9783319737201 |
| Editores | Springer International Publishing AG |
| Páginas | 540 |
| Dimensiones | 243 × 250 × 35 mm · 872 g |
| Lengua | Alemán |
| Editor | Dillig, Isil |
| Editor | Palsberg, Jens |