
Conte aos seus amigos sobre este item:
Semantik Und Programmverifikation - Teubner Texte Zur Informatik German, 2001 edition
Christoph Walther
Semantik Und Programmverifikation - Teubner Texte Zur Informatik German, 2001 edition
Christoph Walther
211 pages, black & white illustrations
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 29 de novembro de 2001 |
ISBN13 | 9783519003366 |
Editoras | Springer Fachmedien Wiesbaden |
Páginas | 211 |
Dimensões | 170 × 244 × 12 mm · 349 g |
Idioma | German |
Mostrar tudo
Mais por Christoph Walther
Ver tudo de Christoph Walther ( por exemplo Paperback Book )