Recomienda este artículo a tus amigos:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Lecture Notes in Computer Science 1st ed. 2016 edition
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I - Lecture Notes in Computer Science
974 pages, 256 black & white illustrations, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 6 de octubre de 2016 |
| ISBN13 | 9783319471655 |
| Editores | Springer International Publishing AG |
| Páginas | 974 |
| Dimensiones | 155 × 235 × 50 mm · 1,37 kg |
| Lengua | Alemán |
| Editor | Margaria, Tiziana |
| Editor | Steffen, Bernhard |