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
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

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.90 €
In stock at our supplier Shipping in 10-13 days

30-day return policy

You might also be interested in

Interactive Theorem Proving and Program Development Yves Bertot / Book Paperback
common.buy 85.69 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Book Paperback
common.buy 58.47 €
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Book Paperback
common.buy 31.96 €
Interactive Video Riad Hammoud / Book Paperback
common.buy 102.99 €
Interactive Theorem Proving Matt Kaufmann / Book Paperback
common.buy 115.74 €
Interactive Theorem Proving Marko Van Eekelen / Book Paperback
common.buy 58.47 €
Interactive Theorem Proving Lennart Beringer / Book Paperback
common.buy 58.47 €
Deyrolle: French Botanical Art Emmanuelle Polle / Book Paperback
common.buy 21.34 €
Dance of the Serpents Oscar de Muriel / Book Paperback
common.buy 11.83 €
Relentless: 12 Rounds to Success Eddie Hearn / Book Hardback
common.buy 26.09 €
Recollections of My Non-Existence / Book Hardback
common.buy 14.16 €
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Book Paperback
common.buy 39.25 €
Top
Lost Spells Robert Macfarlane / Book Hardback
common.buy 14.16 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Book Paperback
common.buy 35.50 €
Fighters Across Frontiers Ismee Tames / Book Hardback
common.buy 38.94 €
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Book Paperback
common.buy 6.77 €
Cute Hand Lettering / Book Paperback
common.buy 13.95 €
Lego train adventure rhyming story book: riding a Lego train Kyle K / Book Paperback
common.buy 10.31 €
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Book Paperback
common.buy 10.31 €
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Book Paperback
common.buy 12.13 €
Top
In the Ruins of Neoliberalism Wendy Brown / Book Paperback
common.buy 27.41 €
Layout Essentials Revised and Updated Beth Tondreau / Book Paperback
common.buy 28.32 €
Top
Building Microservices Sam Newman / Book Paperback
common.buy 59.89 €
Across the Isthmus to California in '52 Sarah Merriam Brooks / Book Paperback
common.buy 12.64 €

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