
Conte aos seus amigos sobre este item:
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 - Theoretical Computer Science and General Issues 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 - Theoretical Computer Science and General Issues 1st ed. 2016 edition
974 pages, 256 black & white illustrations, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 6 de outubro de 2016 |
ISBN13 | 9783319471655 |
Editoras | Springer International Publishing AG |
Páginas | 974 |
Dimensões | 155 × 235 × 50 mm · 1,37 kg |
Idioma | German |
Editor | Margaria, Tiziana |
Editor | Steffen, Bernhard |