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

Afficher les exemplaires de cette �dition comportant l?ISBN

5 D'occasion

De EUR 47,07

11 Neuf

De EUR 72,89

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.

�diteur: Springer
Date d'�dition: 2010
Langue: anglais
ISBN 10: 3642058809
ISBN 13: 9783642058806
Reliure: Broch�
Nombre de pages: 500
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Assez bon

Former library book; may include...

Afficher cet article

EUR 47,07

Autre devise

EUR 11,54 exp�dition depuis Etats-Unis vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 72,89

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

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

Springer, 2014 (Couverture souple)

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

Image d'archives

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

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

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 47,07

Autre devise

Frais de port : EUR 11,54

De Etats-Unis vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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

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

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

Autre devise

Frais de port : EUR 10,95

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Interactive Theorem Proving and Program Development

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

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 d'archives

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

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

Etat : New. In English. N� de r�f. du vendeur ria9783642058806_new

Contacter le vendeur

Acheter neuf

EUR 91,31

Autre devise

Frais de port : EUR 4,60

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

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

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

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

Interactive Theorem Proving and Program Development

Pierre Cast�ran

Edit� par Springer Berlin Heidelberg Dez 2010, 2010

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

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 fournie par le vendeur

Interactive Theorem Proving and Program Development

Pierre Cast�ran

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2010, 2010

ISBN 10 : 3642058809 ISBN 13 : 9783642058806

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

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