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

Name: Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Author: Yves Bertot, Pierre CastÃ©ran
ISBN: 9783642058806

Author Yves Bertot, Pierre CastÃ©ran

Publisher Springer

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

103.55 109.00 USD

🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $90.03

✓ Usually ships in 24 hours

Book Details

Author(s)Yves Bertot, Pierre CastÃ©ran

PublisherSpringer

ISBN / ASIN3642058809

ISBN-139783642058806

AvailabilityUsually ships in 24 hours

Sales Rank1,543,389

MarketplaceUnited States 🇺🇸

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.