
Conte aos seus amigos sobre este item:
Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series Softcover Reprint of Hardcover 1st Ed. 2004 edition
Klaus Schneider
Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series Softcover Reprint of Hardcover 1st Ed. 2004 edition
Klaus Schneider
620 pages, 19 black & white illustrations, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 8 de dezembro de 2010 |
ISBN13 | 9783642055553 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 620 |
Dimensões | 156 × 234 × 31 mm · 857 g |
Idioma | German |
Mostrar tudo
Mais por Klaus Schneider
Ver tudo de Klaus Schneider ( por exemplo Paperback Book , Hardcover Book e 12" )