Recomienda este artículo a tus amigos:
Verified Software Theories Tools and Experiments 1st ed. 2018 edition
Verified Software Theories Tools and Experiments
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions.
345 pages, 10 Illustrations, color; 91 Illustrations, black and white; XVI, 345 p. 101 illus., 10 il
| Medios de comunicación | Libros Book |
| Publicado | 24 de noviembre de 2018 |
| ISBN13 | 9783030035914 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 345 |
| Dimensiones | 150 × 220 × 20 mm · 552 g |
| Lengua | Alemán |
| Editor | Piskac, Ruzica |
| Editor | Rummer, Philipp |