Interactive Theorem Proving and Program Development

Buch 37 von 45: Texts in Theoretical Computer Science. An EATCS

Bertot, Yves

ISBN 10: 3540208542 ISBN 13: 9783540208549
Verlag: Springer, 2004
Sprache: Englisch
Zustand: Gebraucht - Sehr gut Hardcover

Verkauft von Eve's Book Garden, Albany, CA, USA

Heritage Bookseller
AbeBooks-Verkäufer seit 11. April 2000

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Zustand: Gebraucht - Sehr gut

Preis:
EUR 65,77
EUR 5,11 shipping
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen