Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions.

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

Bertot, Yves:

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

Verkauft von Antiquariat Bookfarm, Löbnitz, Deutschland

AbeBooks-Verkäufer seit 28. Oktober 2009

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Zustand: Gebraucht - Gut

Preis:
EUR 44,13
EUR 40,00 Versand
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen