Recomienda este artículo a tus amigos:
Software Engineering and Formal Methods 1st ed. 2018 edition
Software Engineering and Formal Methods
This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems;
592 pages, 204 Illustrations, black and white; X, 592 p. 204 illus.
| Medios de comunicación | Libros Book |
| Publicado | 3 de febrero de 2018 |
| ISBN13 | 9783319747804 |
| Editores | Springer International Publishing AG |
| Páginas | 592 |
| Dimensiones | 150 × 220 × 20 mm · 902 g |
| Lengua | Alemán |
| Editor | Cerone, Antonio |
| Editor | Roveri, Marco |