Fortell venner om denne varen:
Semantik Und Programmverifikation - Teubner Texte Zur Informatik German, 2001 edition
Christoph Walther
Pris
NOK 399
Bestillingsvarer
Forventes levert 10. - 18. nov
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Semantik Und Programmverifikation - Teubner Texte Zur Informatik German, 2001 edition
Christoph Walther
211 pages, black & white illustrations
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 29. november 2001 |
| ISBN13 | 9783519003366 |
| Utgivere | Springer Fachmedien Wiesbaden |
| Antall sider | 211 |
| Mål | 170 × 244 × 12 mm · 349 g |
| Språk | Tysk |
![Cover for Christoph Walther · Automatisierung Von Terminierungsbeweisen - Kunstliche Intelligenz (Pocketbok) [1991 edition] (1991)](https://imusic.b-cdn.net/images/item/original/719/9783528047719.jpg?christoph-walther-1991-automatisierung-von-terminierungsbeweisen-kunstliche-intelligenz-pocketbok&class=scaled&v=1603998655)