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

Bertot, Yves; Castéran, Pierre

ISBN 10: 3642058809 ISBN 13: 9783642058806
Edité par Springer, 2010
Neuf(s) Couverture souple

Vendeur Ria Christie Collections, Uxbridge, Royaume-Uni Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 25 mars 2015

A propos de cet article

Description :

In English. N° de réf. du vendeur ria9783642058806_new

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 : 2010
Reliure : Couverture souple
Etat : New

Meilleurs résultats de recherche sur AbeBooks

Image fournie par le vendeur

Bertot, Yves; Castéran, Pierre
Edité par Springer, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Ancien ou d'occasion Couverture souple

Vendeur : Goodwill Southern California, Los Angeles, CA, Etats-Unis

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

Etat : good. N° de réf. du vendeur 4CJULU000XKV

Contacter le vendeur

Acheter D'occasion

EUR 33,52
EUR 2,56 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bertot, Yves; Castéran, Pierre
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Ancien ou d'occasion Paperback

Vendeur : BooksRun, Philadelphia, PA, Etats-Unis

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

Paperback. Etat : Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Softcover reprint of hardcover 1st ed. 2004. N° de réf. du vendeur 3642058809-8-1

Contacter le vendeur

Acheter D'occasion

EUR 34,74
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 Berlin / Heidelberg, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Ancien ou d'occasion Couverture souple

Vendeur : Better World Books, Mishawaka, IN, Etats-Unis

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

Etat : Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 52719462-6

Contacter le vendeur

Acheter D'occasion

EUR 34,74
Livraison gratuite
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bertot, Yves
Edité par Springer Berlin Heidelberg, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Ancien ou d'occasion Softcover

Vendeur : Homeless Books, Berlin, Allemagne

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

Softcover. Etat : 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. N° de réf. du vendeur ABE-1701869235447

Contacter le vendeur

Acheter D'occasion

EUR 50
EUR 19,95 shipping
Expédition depuis Allemagne vers 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, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Neuf Couverture souple
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

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 5045009

Contacter le vendeur

Acheter neuf

EUR 72,89
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, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Neuf Taschenbuch

Vendeur : preigu, Osnabrück, Allemagne

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

Taschenbuch. Etat : Neu. Interactive Theorem Proving and Program Development | Coq'Art: The Calculus of Inductive Constructions | Pierre Castéran (u. a.) | Taschenbuch | 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. N° de réf. du vendeur 107167098

Contacter le vendeur

Acheter neuf

EUR 75,70
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, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Neuf Couverture souple

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 ABLIING23Mar3113020215134

Contacter le vendeur

Acheter neuf

EUR 84,41
EUR 3,40 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Edité par Springer, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, 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 11868576-n

Contacter le vendeur

Acheter neuf

EUR 85,59
EUR 2,25 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Pierre Castéran
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

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

Taschenbuch. Etat : Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch. N° de réf. du vendeur 9783642058806

Contacter le vendeur

Acheter neuf

EUR 85,59
EUR 60 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Pierre Castéran
Edité par Springer Berlin Heidelberg, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

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

Taschenbuch. Etat : 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. N° de réf. du vendeur 9783642058806

Contacter le vendeur

Acheter neuf

EUR 85,59
EUR 63,75 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 8 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre