Tell your friends about this item:
Formalisieren und Beweisen - Lehrbuch Informatik 1990 edition
Dirk Siefkes
Formalisieren und Beweisen - Lehrbuch Informatik 1990 edition
Dirk Siefkes
259 pages, black & white illustrations, bibliography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | 1990 |
ISBN13 | 9783528047573 |
Publishers | Springer Fachmedien Wiesbaden |
Pages | 259 |
Dimensions | 244 × 172 × 19 mm · 449 g |
Language | German |