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
Paperback
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
Libristo code: 02129635
?
219 b
219 b
89.39
€
VAT included
In stock at our supplier
Shipping in 5-8 days
Delivery to Austria
Delivery to Austria
30-day return policy
Customers also purchased
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.
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, Pierre Castéran, G. Huet, C. Paulin-Mohring
Language
English
English
Binding
Book - Paperback
Date of issue
2010
Number of pages
472
EAN
9783642058806
ISBN
3642058809
Libristo code
02129635
Weight
748
Dimensions
155 x 235 x 26
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Hardback
14.29
€
/
Paperback
13.59
€
