Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Bertot, Yves, Castéran, Pierre
Language: English
Published by Springer, 2010
Series: Book 37 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Used
Seller: Mispah books, Redhill, Surrey, United KingdomMispah books
AbeBooks seller since April 15, 2021
Condition: Used - As new
US$ 183.42
Quantity: 1 available
Add to basketItem description from seller
LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS.
Seller Inventory # ERICA77336420588096
- Title
- Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
- Author
- Bertot, Yves, Castéran, Pierre
- Publisher
- Springer
- Publication year
- 2010
- Condition
- Like New
- Book Type
- book
- Binding
- Paperback
- Language
- English
- ISBN 10
- 3642058809
- ISBN 13
- 9783642058806
- Series
- Book 37 of 45: Texts in Theoretical Computer Science. An EATCS
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.
This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
"Synopsis" may belong to another edition of this title.
From the Back Cover
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.
This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
"About the title" may belong to another edition of this title.
Mispah books
Redhill, Surrey, United Kingdom
AbeBooks seller since April 15, 2021
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 15 business days | 9 to 10 business days |
|---|---|---|
| First item | US$ 33.47 | US$ 36.15 |
Payment methods
Store description
We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom
Specialty
Fiction & Academic Books, Science, GeneralSeller's business information
Mispah books
United Kingdom
Terms of sale
We offer excellent customer service & easy return facility.
we ship from Multiple location,UK,India,US
Return address:
Mispah books
flat4 ,
Centenary court, 30 Warwick Road
Redhill , SURRE RH1 1FQ
United Kingdom
Shipping terms
Our rates depends on weight of the item & shipping destination