Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Language EnglishEnglish
Book Hardback
Book Interactive Theorem Proving and Program Development Yves Bertot
Libristo code: 02129535
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Full description
? points 292 b
120.18 €
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

You might also be interested in

Interactive Theorem Proving and Program Development Yves Bertot / Book Paperback
common.buy 85.18 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Book Paperback
common.buy 58.32 €
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Book Paperback
common.buy 32.68 €
Cold Aqueous Planetary Geochemistry with FREZCHEM Giles M. Marion / Book Hardback
common.buy 102.38 €
Interactive Video Riad Hammoud / Book Paperback
common.buy 102.38 €
Interactive Theorem Proving Matt Kaufmann / Book Paperback
common.buy 115.05 €
Interactive Theorem Proving Marko Van Eekelen / Book Paperback
common.buy 58.32 €
Interactive Theorem Proving Lennart Beringer / Book Paperback
common.buy 58.32 €
Dance of the Serpents Oscar de Muriel / Book Paperback
common.buy 10.75 €
Deyrolle: French Botanical Art Emmanuelle Polle / Book Paperback
common.buy 19.70 €
Relentless: 12 Rounds to Success Eddie Hearn / Book Hardback
common.buy 25.95 €
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Book Paperback
common.buy 6.73 €
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Book Paperback
common.buy 39.03 €
Lost Spells Robert Macfarlane / Book Hardback
common.buy 14.37 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Book Paperback
common.buy 36.70 €
Fighters Across Frontiers Ismee Tames / Book Hardback
common.buy 37.20 €
Christopher Uptake Andrew Price / Book Paperback
common.buy 10.55 €
In the Ruins of Neoliberalism Wendy Brown / Book Paperback
common.buy 27.25 €
Cute Hand Lettering / Book Paperback
common.buy 14.28 €
Recollections of My Non-Existence / Book Hardback
common.buy 14.37 €
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Book Paperback
common.buy 10.25 €
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Book Paperback
common.buy 12.06 €
Jaunt ERIK J KREFFEL / Book Paperback
common.buy 22.02 €
Monsters of Men Patrick Ness / Book Paperback
common.buy 9.65 €

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
Ewa Kasp
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
Binding Book - Hardback
Date of issue 2004
Number of pages 472
EAN 9783540208549
ISBN 3540208542
Libristo code 02129535
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 912
Dimensions 163 x 239 x 36

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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 address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?