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

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions - Couverture souple

Bertot, Yves; Castéran, Pierre

 
9783642058806: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Couverture souple
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Editeur : Springer, 2010

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 « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2010
  • ISBN 10 3642058809
  • ISBN 13 9783642058806
  • ReliureBroché
  • Langueanglais
  • Nombre de pages500
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Satisfaisant
Connecting readers with great books...
Afficher cet article
9783642058806: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
EUR 44,09

Autre devise

EUR 91,48 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783642058806: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
EUR 72,89

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9783540208549: Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions

Edition présentée

ISBN 10 :  3540208542 ISBN 13 :  9783540208549
Editeur : Springer-Verlag Berlin and Heide..., 2004
Couverture rigide

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

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 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 5045009

Contacter le vendeur

Acheter neuf

EUR 72,89
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
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, 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
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Pierre Castéran
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Neuf Taschenbuch
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

Taschenbuch. 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 9783642058806

Contacter le vendeur

Acheter neuf

EUR 85,59
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 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 : 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 ria9783642058806_new

Contacter le vendeur

Acheter neuf

EUR 92,48
Autre devise
Frais de port : EUR 4,66
De Royaume-Uni vers France
Destinations, frais et délais

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

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

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 87,55
Autre devise
Frais de port : EUR 17,42
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

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 : GreatBookPricesUK, Woodford Green, Royaume-Uni

É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 92,47
Autre devise
Frais de port : EUR 17,53
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

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

Vendeur : HPB-Red, Dallas, TX, Etats-Unis

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

Paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_404034368

Contacter le vendeur

Acheter D'occasion

EUR 44,09
Autre devise
Frais de port : EUR 91,48
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Yves Bertot Pierre Cast?ran
Edité par Springer, 2010
ISBN 10 : 3642058809 ISBN 13 : 9783642058806
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

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

Etat : New. pp. 500. N° de réf. du vendeur 262467416

Contacter le vendeur

Acheter neuf

EUR 128,26
Autre devise
Frais de port : EUR 7,84
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 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
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

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

Etat : New. Print on Demand pp. 500 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5380487

Contacter le vendeur

Acheter neuf

EUR 130,60
Autre devise
Frais de port : EUR 10,34
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

There are 5 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre