Interactive Theorem Proving and Program Development

Bertot Yves Cast?ran Pierre

ISBN 10: 3642058809 / ISBN 13: 9783642058806

Edité par Springer, 2010

A propos de cet article

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

Détails bibliographiques

Titre : Interactive Theorem Proving and Program ...

Éditeur : Springer

Date d'édition : 2010

Reliure : Couverture souple

Etat : New

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.