Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Hardcover, 2004 ed.)
Yves Bertot, Pierre CasteranA 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.
R3,578
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
35780
@R335pm x 12* 
Ships in 10 - 15 working days
Add to wish listReview this Item
Donate to Against Period Poverty
Product Description
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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Texts in Theoretical Computer Science. An EATCS Series |
Release date | May 2004 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2004 |
Authors | Yves Bertot, Pierre Casteran |
Foreword by | G. Huet, C. Paulin-Mohring |
Dimensions | 235 x 155 x 36mm (L x W x T) |
Format | Hardcover |
Pages | 472 |
Edition | 2004 ed. |
ISBN-13 | 978-3-540-20854-9 |
Barcode | 9783540208549 |
Categories | |
LSN | 3-540-20854-2 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
