Interactive theorem proving program von bertot yves (34 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, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Eve's Book Garden, Albany, CA, USAEve's Book Garden
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Sehr gut
EUR 49,07
EUR 5,20 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Fine. Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Goodwill Southern California, Los Angeles, CA, USAGoodwill Southern California
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 55,09
EUR 2,60 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: good.
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,60
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, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 87,20
Versand gratisVersand innerhalb von USAAnzahl: 10 verfügbar
Zustand: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 92,09
EUR 14,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 89,79
EUR 17,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,93
EUR 2,29 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 113,75
Versand gratisVersand innerhalb von USAAnzahl: 10 verfügbar
Zustand: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Sprache: Englisch
Verlag: Springer, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,87
EUR 6,02 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 136,78
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: new. Hardcover. 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 cert…ified 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
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.
Sprache: Englisch
Verlag: Springer, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 148,11
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
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, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: GoldBooks, Denver, CO, USAGoldBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 154,91
EUR 4,76 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: new. New Copy. Customer Service Guaranteed.
Sprache: Englisch
Verlag: Springer, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 177,39
EUR 3,46 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 504.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 169,95
EUR 17,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 160,32
EUR 29,26 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 192,90
EUR 2,29 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
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.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: AussieBookSeller, Truganina, VIC, AustralienAussieBookSeller
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 207,33
EUR 32,05 VersandVersand von Australien nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: new. Hardcover. 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 cert…ified 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Sprache: Englisch
Verlag: Springer, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 237,46
EUR 29,26 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Sprache: Englisch
Verlag: Springer, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: Brook Bookstore On Demand, Napoli, NA, ItalienBrook Bookstore On Demand
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,24
EUR 8,00 VersandVersand von Italien nach USAAnzahl: Mehr als 20 verfügbar
Zustand: new. Questo è un articolo print on demand.
Sprache: Englisch
Verlag: Springer, Springer Dez 2010, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 90,94
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 500 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 77,17
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA broad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and formally certi…fied software. I.
Sprache: Englisch
Verlag: Springer, Springer Dez 2010, 2010
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 90,94
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 prag…matic 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 500 pp. Englisch.
Sprache: Englisch
Verlag: Springer Vieweg, Springer Mai 2004, 2004
Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 128,39
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 pragmat…ic 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. 500 pp. Englisch.
