[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Interactive Theorem Proving and Program Development

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 346 b
146.32 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

TOP
Continuous Discovery Habits Teresa Torres / Paperback
common.buy 19.15 €
Crush Tracy Wolff / Paperback
common.buy 12.30 €
Lost Spells Robert Macfarlane / Hardback
common.buy 16.37 €
Invention and Innovation / Hardback
common.buy 22.58 €
From Head to Toe Eric Carle / Paperback
common.buy 8.34 €
Soled Out: The Golden Age of Sneaker Advertising SNEAKER FREAKER / Hardback
common.buy 56.40 €
Notes on Heartbreak Annie Lord / Paperback
common.buy 11.34 €
Proof Theory Takeuti / Paperback
common.buy 23.54 €
Basic Proof Theory Anne S. Troelstra / Paperback
common.buy 70.00 €
Layout Essentials Revised and Updated Beth Tondreau / Paperback
common.buy 23.22 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment / Paperback
common.buy 37.03 €
Type Theory and Formal Proof Rob Nederpelt / Hardback
common.buy 105.96 €
In the Ruins of Neoliberalism Wendy Brown / Paperback
common.buy 27.82 €
Recollections of My Non-Existence / Hardback
common.buy 16.69 €
SALE
Interactive Theorem Proving and Program Development Yves Bertot / Paperback
common.buy 77.49 €
Relentless: 12 Rounds to Success Eddie Hearn / Hardback
common.buy 24.50 €

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.

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