Semantik Und Programmverifikation - Teubner Texte Zur Informatik - Christoph Walther - Books - Springer Fachmedien Wiesbaden - 9783519003366 - November 29, 2001
In case cover and title do not match, the title is correct

Semantik Und Programmverifikation - Teubner Texte Zur Informatik German, 2001 edition

Christoph Walther

Price
Kč 836
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 22 - Nov 3
Add to your iMusic wish list

Semantik Und Programmverifikation - Teubner Texte Zur Informatik German, 2001 edition

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  

Show all

More by Christoph Walther