Interactive theorem proving program von bertot yves (8 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2004
Serie: 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 43,53
EUR 4,32 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: Very Good. Cover and edges may have some wear.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Homeless Books, Berlin, DeutschlandHomeless Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 50,00
EUR 19,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Wie neu. The book is in very good condition and does not appear to have been read. Only very minor shelf wear to the cover. Language: English. Ships from Berlin.
Sprache: Englisch
Verlag: Springer, 2004
Serie: 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 51,58
EUR 20,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: 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: 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,12
EUR 14,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
Weitere BilderSprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 81,80
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Interactive Theorem Proving and Program Development | Coq'Art: The Calculus of Inductive Constructions | Yves Bertot (u. a.) | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | xxv | Englisch | 2010 | Springer | EAN 9783642058806 | Verantwortliche Person für die EU: Springer Verlag… GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer, Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 90,94
EUR 63,75 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. 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 introd…uction 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.
Sprache: Englisch
Verlag: Springer, Springer, 2004
Serie: 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.
