
Tell your friends about this 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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | November 29, 2001 |
ISBN13 | 9783519003366 |
Publishers | Springer Fachmedien Wiesbaden |
Pages | 211 |
Dimensions | 170 × 244 × 12 mm · 349 g |
Language | German |