Articles liés à Interactive Theorem Proving and Program Development:...

Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions - Couverture rigide

Bertot, Yves; Castéran, Pierre

 
9783540208549: Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions
Couverture rigide
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2004

Synopsis

Interactive Theorem Proving and Program Development Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. It includes a collection of examples and exercises. Full description

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

Acheter D'occasion

état :  Très bon
Looking very bright & new. Not...
Afficher cet article
9783540208549: Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions
EUR 68,35

Autre devise

EUR 5,31 expédition vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783540208549: Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions
EUR 116,23

Autre devise

EUR 3,53 expédition vers Etats-Unis

Destinations, frais et délais

Autres éditions populaires du même titre

9783642058806: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Edition présentée

ISBN 10 :  3642058809 ISBN 13 :  9783642058806
Editeur : Springer, 2010
Couverture souple

Résultats de recherche pour Interactive Theorem Proving and Program Development:...

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 5 sur 5 étoiles Evaluation 5 é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 68,35
Autre devise
Frais de port : EUR 5,31
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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

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. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 52062814-6

Contacter le vendeur

Acheter D'occasion

EUR 77,33
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Bertot, Yves, Pierre Castéran und C. Paulin-Mohring:
Edité par Springer, 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Ancien 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

Etat : Gut. 2004. 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

Contacter le vendeur

Acheter D'occasion

EUR 38,90
Autre devise
Frais de port : EUR 60
De Allemagne vers Etats-Unis
Destinations, frais et délais

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 : 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 116,23
Autre devise
Frais de port : EUR 3,53
Vers Etats-Unis
Destinations, frais et délais

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, North Las Vegas, 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 119,37
Autre devise
Frais de port : EUR 6,15
Vers Etats-Unis
Destinations, frais et délais

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 : California Books, Miami, FL, 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 I-9783540208549

Contacter le vendeur

Acheter neuf

EUR 130,33
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

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
Autre devise
Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

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

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

Etat : New. In English. N° de réf. du vendeur ria9783540208549_new

Contacter le vendeur

Acheter neuf

EUR 130,66
Autre devise
Frais de port : EUR 14,07
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

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 5 sur 5 étoiles Evaluation 5 é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 4884875

Contacter le vendeur

Acheter neuf

EUR 98,54
Autre devise
Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Pierre Castéran
Edité par Springer Berlin Heidelberg, 2004
ISBN 10 : 3540208542 ISBN 13 : 9783540208549
Neuf Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

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

Buch. 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 9783540208549

Contacter le vendeur

Acheter neuf

EUR 117,69
Autre devise
Frais de port : EUR 32,54
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre