Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Coq Art: The Calculus of Inductive Constructions

Bertot, Yves, Pierre Castéran und C. Paulin-Mohring:

ISBN 10: 3540208542 ISBN 13: 9783540208549
Edité par Springer, 2004
Ancien(s) ou d'occasion Couverture rigide

Vendeur Antiquariat Mäander Quell, Waldshut-Tiengen, Allemagne Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 26 octobre 2020

A propos de cet article

Description :

497 S. - Wir versenden aus unserem deutschen Lager heraus in plastikfreien oder wiederverwendeten Polstertaschen. Sprache: Englisch Gewicht in Gramm: 1940 Gebundene Ausgabe, Maße: 16.41 cm x 3.23 cm x 23.77 cm. N° de réf. du vendeur 47234

Signaler cet article

Synopsis :

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Interactive Theorem Proving and Program ...
Éditeur : Springer
Date d'édition : 2004
Reliure : Couverture rigide
Etat : Gut
Edition : 2004.

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Bertot, Yves
Edité par Springer (edition 2004), 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Ancien ou d'occasion Couverture rigide

Vendeur : BooksRun, Philadelphia, PA, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Fair. 2004. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. N° de réf. du vendeur 3540208542-7-1

Contacter le vendeur

Acheter D'occasion

EUR 33,94
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bertot, Yves; Castà ran, Pierre
Edité par Springer, 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Ancien ou d'occasion Couverture rigide

Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G3540208542I4N10

Contacter le vendeur

Acheter D'occasion

EUR 36,18
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bertot, Yves
Edité par Springer, 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Ancien ou d'occasion Couverture rigide

Vendeur : Eve's Book Garden, Albany, CA, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Fine. Looking very bright & new. Not issued with jacket. Benefits the Friends of the Albany, Ca Library. N° de réf. du vendeur 041508

Contacter le vendeur

Acheter D'occasion

EUR 65,49
EUR 5,09 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Yves Bertot|Pierre Castéran
Edité par Springer Berlin Heidelberg, 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Neuf Couverture rigide
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA&nbspbroad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and formally certified software. I. N° de réf. du vendeur 4884875

Contacter le vendeur

Acheter neuf

EUR 98,54
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Pierre Castéran (u. a.)
Edité par Springer-Verlag GmbH, 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Neuf Couverture rigide
impression à la demande

Vendeur : preigu, Osnabrück, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. Interactive Theorem Proving and Program Development | Coq'Art: The Calculus of Inductive Constructions | Pierre Castéran (u. a.) | Buch | xxv | Englisch | 2004 | Springer-Verlag GmbH | EAN 9783540208549 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 102476660

Contacter le vendeur

Acheter neuf

EUR 102,30
EUR 70 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Bertot, Yves; Castéran, Pierre
Edité par Springer, 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Neuf Couverture rigide

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020162727

Contacter le vendeur

Acheter neuf

EUR 111,37
EUR 3,38 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Bertot, Yves
Edité par Springer, 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Neuf Couverture rigide

Vendeur : BennettBooksLtd, San Diego, NV, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-3540208542

Contacter le vendeur

Acheter neuf

EUR 114,38
EUR 5,89 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bertot, Yves
Edité par Springer, 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Neuf Couverture rigide

Vendeur : GoldBooks, Denver, CO, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : new. N° de réf. du vendeur 44K55_70_3540208542

Contacter le vendeur

Acheter neuf

EUR 116,24
EUR 3,60 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Pierre Castéran
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Neuf Couverture rigide
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 500 pp. Englisch. N° de réf. du vendeur 9783540208549

Contacter le vendeur

Acheter neuf

EUR 117,69
EUR 23 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Bertot, Yves/ CastTran, Pierre/ Huet, Gerard (Foreward By)/ Paulin-Mohring, Christine (Foreward By)
Edité par Springer-Verlag New York Inc, 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Neuf Couverture rigide
impression à la demande

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Brand New. 1st edition. 468 pages. 9.25x6.25x1.00 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __3540208542

Contacter le vendeur

Acheter neuf

EUR 117,99
EUR 14,32 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

There are 8 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre