
Conte aos seus amigos sobre este item:
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce 1st ed. 2016 edition
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce 1st ed. 2016 edition
961 pages, 220 black & white illustrations, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 9 de abril de 2016 |
ISBN13 | 9783662496732 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 961 |
Dimensões | 1,35 kg |
Idioma | German |
Editor | Chechik, Marsha |
Editor | Raskin, Jean-Francois |