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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 318 b
46 578 Ft
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 33 025 Ft
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Book Paperback
common.buy 21 277 Ft
Data Visualization with Excel Dashboards and Reports Dick Kusleika / Book Paperback
common.buy 12 436 Ft
Interactive Video Riad Hammoud / Book Paperback
common.buy 39 624 Ft
Interactive Theorem Proving Matt Kaufmann / Book Paperback
common.buy 43 856 Ft
Interactive Theorem Proving Marko Van Eekelen / Book Paperback
common.buy 21 277 Ft
Interactive Theorem Proving Lennart Beringer / Book Paperback
common.buy 21 277 Ft
Deyrolle: French Botanical Art Emmanuelle Polle / Book Paperback
common.buy 7 549 Ft
Dance of the Serpents Oscar de Muriel / Book Paperback
common.buy 4 476 Ft
Relentless: 12 Rounds to Success Eddie Hearn / Book Hardback
common.buy 10 069 Ft
Recollections of My Non-Existence / Book Hardback
common.buy 5 574 Ft
The Good Ship Earth: A Survey Of World Problems (1913) Herbert Quick / Book Paperback
common.buy 14 955 Ft
Top
Lost Spells Robert Macfarlane / Book Hardback
common.buy 5 574 Ft
Complete Guide to Machine Knitting: From the Thread to the Finished Garment TARANTINO LUCIA CONS / Book Paperback
common.buy 13 682 Ft
Fighters Across Frontiers Ismee Tames / Book Hardback
common.buy 13 797 Ft
Seamless Patterns: Adult Coloring Book: Stress Relieving Patterns V Art / Book Paperback
common.buy 2 575 Ft
Cute Hand Lettering / Book Paperback
common.buy 5 371 Ft
Lego train adventure rhyming story book: riding a Lego train Kyle K / Book Paperback
common.buy 3 950 Ft
Adventures of Nio the Skunk: The Unknown Anticio T. Duke / Book Paperback
common.buy 3 950 Ft
Knife Defense Basics: Knife Training Methods and Techniques for Martial Artists Martina Sprague / Book Paperback
common.buy 4 651 Ft
Top
In the Ruins of Neoliberalism Wendy Brown / Book Paperback
common.buy 10 244 Ft
Layout Essentials Revised and Updated Beth Tondreau / Book Paperback
common.buy 10 858 Ft
Top
Building Microservices Sam Newman / Book Paperback
common.buy 23 326 Ft
Across the Isthmus to California in '52 Sarah Merriam Brooks / Book Paperback
common.buy 4 887 Ft

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