Interactive Theorem Proving and Program Development Image close
Interactive Theorem Proving and Program Development by Yves Bertot
Interactive Theorem Proving and Program Development by Yves Bertot
Show Hide Adult Content
Interactive Theorem Proving and Program Development close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$247.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $61.75 with Afterpay Learn more

6 weekly interest-free payments of $41.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Texts in Theoretical Computer Science: An EATCS Series

See all products in this series

Parameterized Complexity Theory on Hardback by J Flum
$327.00
Parameterized Complexity Theory
by J Flum ~ Hardback
Available - Usually ships in 3-4 weeks
Graphs and Algorithms in Communication Networks
$450.00
Graphs and Algorithms in Communication Networks
Paperback / softback
Available - Usually ships in 3-4 weeks
Boolean Functions and Computation Models by Peter Clote
$299.00
Boolean Functions and Computation Models
by Peter Clote ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Dissemination of Information in Communication Networks by Juraj Hromkovic
$153.00
Dissemination of Information in Communication Networks
by Juraj Hromkovic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Introduction to Concurrency Theory on Hardback by Roberto Gorrieri
$155.00
Introduction to Concurrency Theory
by Roberto Gorrieri ~ Hardback
Available - Usually ships in 3-4 weeks
Models of Computation by Roberto Bruni
$177.00
Models of Computation
by Roberto Bruni ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Distributed Systems by Wan Fokkink
$149.00
Modelling Distributed Systems
by Wan Fokkink ~ Paperback / softback
Available - Usually ships in 3-4 weeks
DNA Computing on Hardback by Gheorghe Pa?un
$272.00
DNA Computing
by Gheorghe Pa?un ~ Hardback
Available - Usually ships in 3-4 weeks
Software Engineering 3 on Hardback by Dines Bjorner
$311.00
Software Engineering 3
by Dines Bjorner ~ Hardback
Available - Usually ships in 3-4 weeks
Computable Analysis on Hardback by Klaus Weihrauch
$155.00
Computable Analysis
by Klaus Weihrauch ~ Hardback
Available - Usually ships in 3-4 weeks
Complexity Theory and Cryptology by Jorg Rothe
$157.00
Complexity Theory and Cryptology
by Jorg Rothe ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Practical Theory of Reactive Systems by R. Kurki-Suonio
$155.00
A Practical Theory of Reactive Systems
by R. Kurki-Suonio ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering 1 by Dines Bjorner
$280.00
Software Engineering 1
by Dines Bjorner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Petri Net Synthesis on Hardback by Eric Badouel
$181.00
Petri Net Synthesis
by Eric Badouel ~ Hardback
Available - Usually ships in 3-4 weeks
Universal Artificial Intelligence on Hardback by Marcus Hutter
$269.00
Universal Artificial Intelligence
by Marcus Hutter ~ Hardback
Available - Usually ships in 3-4 weeks
DNA Computing by Gheorghe Pa?un
$318.00
DNA Computing
by Gheorghe Pa?un ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
December 15th, 2010
Audience
  • Professional & Vocational
Contributors
  • Foreword by C. Paulin-Mohring
  • Foreword by G. Huet
Edition
Softcover reprint of hardcover 1st ed. 2004
Illustrations
1 Illustrations, black and white; XXV, 472 p. 1 illus.
Pages
472
Dimensions
156x234x25
ISBN-13
9783642058806
Product ID
8939691

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Yves Bertot

See all books by this author

Interactive Theorem Proving and Program Development on Hardback by Yves Bertot
$326.00
Interactive Theorem Proving and Program Development
by Yves Bertot ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design