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.
Interactive Theorem Proving and Program Development
📄 Viewing lite version
Full site ›
Book Details
Author(s)Yves Bertot
PublisherSpringer
ISBN / ASIN3540208542
ISBN-139783540208549
AvailabilityUsually ships in 24 hours
Sales Rank1,123,648
MarketplaceUnited States 🇺🇸