
Conte aos seus amigos sobre este item:
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Theoretical Computer Science and General Issues 2012 edition
John Derrick
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Theoretical Computer Science and General Issues 2012 edition
John Derrick
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.
393 pages, 133 black & white illustrations, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 12 de junho de 2012 |
ISBN13 | 9783642308840 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 378 |
Dimensões | 155 × 235 × 20 mm · 589 g |
Idioma | German |
Editor | Derrick, John |
Editor | Fitzgerald, John |
Editor | Gnesi, Stefania |
Editor | Khurshid, Sarfraz |
Editor | Leuschel, Michael |
Editor | Reeves, Steve |
Editor | Riccobene, Elvinia |
Mostrar tudo
Mais por John Derrick
Ver tudo de John Derrick ( por exemplo Paperback Book e Hardcover Book )