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

Castà ran, Pierre,Bertot, Yves

ISBN 10: 3642058809 / ISBN 13: 9783642058806

Edité par Springer, 2010

A propos de cet article

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

Détails bibliographiques

Titre : Interactive Theorem Proving and Program ...

Éditeur : Springer

Date d'édition : 2010

Reliure : Paperback

Etat : Good

A propos de ce titre

Synopsis :

Interactive Theorem Proving and Program Development 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.