Recomienda este artículo a tus amigos:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II - Lecture Notes in Computer Scienc 1st ed. 2016 edition
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II - Lecture Notes in Computer Scienc
866 pages, 291 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 | 9783319471686 |
| Editores | Springer International Publishing AG |
| Páginas | 866 |
| Dimensiones | 155 × 235 × 45 mm · 1,22 kg |
| Lengua | Francés |
| Editor | Margaria, Tiziana |
| Editor | Steffen, Bernhard |