Automatisierung Von Terminierungsbeweisen
Christoph Walther
₹3,508
Semantik Und Programmverifikation
Vieweg+teubner Verlag · 2012 · Paperback
₹2,349
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Semantik Und Programmverifikation is written by Christoph Walther. This paperback edition from Vieweg+teubner Verlag (2012) has 216 pages.
Book details
- ISBN-13
- 9783519003366
- ISBN-10
- 3519003368
- Author
- Christoph Walther
- Publisher
- Vieweg+teubner Verlag
- Published
- 2012
- Binding
- Paperback
- Pages
- 216
- Language
- English
- Condition
- New
More by Christoph Walther and related titles
Übungsbuch Zur Numerischen Mathematik
Robert Plato
₹2,869
Elektrotechnik Für Informatiker
Reinhold Paul
₹3,623
Web 2.0 - Eine Empirische Bestandsaufnahme
Paul Alpar, Steffen Blaschke
₹4,383
Pascal Tools
Matthias Blumenfeld
₹3,508
Mikrocomputerfibel
Gerhard Schnell
₹3,508
Schwalben Über Lippoldsburg
Benno Ludwig Manns
₹3,508
Katastrophentheorie
Peter T. Saunders
₹3,508
Werkstoffkunde Der Elektrotechnik
Egon Döring
₹5,122
Albert Einsteins Relativitätstheorie
Albert Einstein, Meyenn
₹4,990
Kernenergie Und Kerntechnik
Edgar Lüscher
₹5,122
Strategien Zur Abfallenergieverwertung
Wolfgang Fratzscher, Klaus Michalek, Karl Stephan
₹4,374