Von dem Buch Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions: Coq'Art: the Calculus of Inductive Constructions . Computer Science. An EATCS Series) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Yves Bertot, Pierre Castéran, Vorwort: G. Huet, Vorwort: C. Paulin-Mohring: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions: Coq'Art: the Calculus of Inductive Constructions . Computer Science. An EATCS Series) (ISBN: 9783662079645) 2004. Ausgabe, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
44%: Yves Bertot, Pierre Casteran, Préface: G. Huet, Préface: Christine Paulin-Mohring: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) (ISBN: 9783642058806) Erstausgabe, in Englisch, Band: 1069.Nur diese Ausgabe anzeigen…
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions: Coq'Art: the Calculus of Inductive Constructions . Computer Science. An EATCS Series)
13 Angebote vergleichen
| Preise | 2016 | 2018 | 2019 |
|---|---|---|---|
| Schnitt | Fr. 0.00 (€ 0.00)¹ | Fr. 0.00 (€ 0.00)¹ | Fr. 60.95 (€ 62.27)¹ |
| Nachfrage |
1
Symbolbild
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) (2010)
DE PB FEISBN: 9783642058806 bzw. 3642058809, Band: 1069, in Deutsch, Springer, Taschenbuch, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Book Deals [60506629], Lewiston, NY, U.S.A.
This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Summary: From the reviews of the first edition:"This book serves as a Coq user manual, supporting both beginners and experts in the use of Coq and its underlying theory. Numerous exercises further enhance the utility as a learning aid. A supporting website provides downloadable source for all the examples and solutions to the exercises. As an introduction to Coq the book is self-contained . The book is also comprehensive . In summary, the book is an essential companion for every Coq user ." (Valentin F. Goranko, Zentralblatt MATH, Vol. 1069, 2005).
Von Händler/Antiquariat, Book Deals [60506629], Lewiston, NY, U.S.A.
This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Summary: From the reviews of the first edition:"This book serves as a Coq user manual, supporting both beginners and experts in the use of Coq and its underlying theory. Numerous exercises further enhance the utility as a learning aid. A supporting website provides downloadable source for all the examples and solutions to the exercises. As an introduction to Coq the book is self-contained . The book is also comprehensive . In summary, the book is an essential companion for every Coq user ." (Valentin F. Goranko, Zentralblatt MATH, Vol. 1069, 2005).
2
Interactive Theorem Proving and Program Development
~EN NW EB DLISBN: 9783662079645 bzw. 366207964X, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Mexiko, Lagernd, zzgl. Versandkosten.
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. eBook.
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. eBook.
3
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (2010)
EN NWISBN: 9783642058806 bzw. 3642058809, in Englisch, Springer Berlin Heidelberg, Springer Berlin Heidelberg, Springer Berlin Heidelberg, neu.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Free Shipping on eligible orders over $25.
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.
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.
4
Interactive Theorem Proving and Program Development
EN NW EB DLISBN: 9783662079645 bzw. 366207964X, in Englisch, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
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.
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.
5
Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions
~EN NW EB DLISBN: 9783662079645 bzw. 366207964X, vermutlich in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Interactive Theorem Proving and Program Development: 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. Englisch, Ebook.
Interactive Theorem Proving and Program Development: 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. Englisch, Ebook.
6
Interactive Theorem Proving and Program Development
DE HC NWISBN: 9783642058806 bzw. 3642058809, in Deutsch, Springer, Berlin/Heidelberg/New York, NY, Deutschland, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkosten.
Coq´Art: The Calculus of Inductive Constructions Texts in Theoretical Computer Science. An EATCS Series. Softcover reprint of hardcover 1st ed. 2004. Coq´Art: The Calculus of Inductive Constructions Texts in Theoretical Computer Science. An EATCS Series. Softcover reprint of hardcover 1st ed. 2004.
Coq´Art: The Calculus of Inductive Constructions Texts in Theoretical Computer Science. An EATCS Series. Softcover reprint of hardcover 1st ed. 2004. Coq´Art: The Calculus of Inductive Constructions Texts in Theoretical Computer Science. An EATCS Series. Softcover reprint of hardcover 1st ed. 2004.
7
Symbolbild
Interactive Theorem Proving Program Development: Coq Art: The Calculus of Inductive Constructions (2015)
DE PB NWISBN: 9783642058806 bzw. 3642058809, in Deutsch, SPRINGER VERLAG GMBH 01/03/2015, Taschenbuch, neu.
Von Händler/Antiquariat, Paperbackshop-US [8408184], Secaucus, NJ, U.S.A.
New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. This item is printed on demand.
New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. This item is printed on demand.
8
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) (2010)
EN PB USISBN: 9783642058806 bzw. 3642058809, in Englisch, 472 Seiten, Springer, Taschenbuch, gebraucht.
Neu ab: $54.50 (16 Angebote)
Gebraucht ab: $85.66 (10 Angebote)
Zu den weiteren 26 Angeboten bei Amazon.com
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Any Book.
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software., Paperback, Ausgabe: Softcover reprint of hardcover 1st ed. 2004, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2010-12-01, Studio: Springer, Verkaufsrang: 2595446.
Von Händler/Antiquariat, Any Book.
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software., Paperback, Ausgabe: Softcover reprint of hardcover 1st ed. 2004, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 2010-12-01, Studio: Springer, Verkaufsrang: 2595446.
9
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions: Coq'Art: the Calculus of Inductive Constructions . Computer Science. An EATCS Series) (2004)
EN NW EB DLISBN: 9783662079645 bzw. 366207964X, in Englisch, 472 Seiten, 2004. Ausgabe, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, E-Book zum Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) (2013)
EN NW EB DLISBN: 9783662079645 bzw. 366207964X, in Englisch, 500 Seiten, 2004. Ausgabe, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, E-Book zum Download, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…