Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
Shopping guide
My account
▸
Empty :-(
0
Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.
Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions
Language
English
English
Book
Hardback
Coq is an interactive proof assistant for the development of mathematical theories and formally cert...
Full description
Libristo code: 02129535
?
309 b
309 b
126.09
€
VAT included
In stock at our supplier
Shipping in 10-13 days
Delivery to Austria
Delivery to Austria
30-day return policy
You might also be interested in
/
Paperback
36.99
€
/
Paperback
12.59
€
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.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Interactive Theorem Proving and Program Development
Author
Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Language
English
English
Binding
Book - Hardback
Date of issue
2004
Number of pages
472
EAN
9783540208549
ISBN
3540208542
Libristo code
02129535
Weight
912
Dimensions
163 x 239 x 36
