9783540208549 - interactive theorem proving and program development: coq’art: the calculus of inductive constructions (texts in theoretical computer science. an eatcs series) von bertot, yves; castéran, pierre (6 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2004
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Books From California, Simi Valley, CA, USABooks From California
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 44,22
EUR 4,38 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: Very Good. Cover and edges may have some wear.
Sprache: Englisch
Verlag: Springer, 2004
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: medimops, Berlin, Deutschlandmedimops
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 47,85
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Sprache: Englisch
Verlag: Berlin, Springer, 2004
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 44,13
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Gut. XXV, 469 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. M16168 9783540208549 Sprache: Englisch Gewicht in Gramm: 930.
Sprache: Englisch
Verlag: Springer, 2004
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes KönigreichWorldofBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 102,63
EUR 6,57 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Sprache: Englisch
Verlag: Springer, 2004
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 129,45
EUR 14,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
Sprache: Englisch
Verlag: Springer, Springer, 2004
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 128,39
EUR 64,55 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction…to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
