Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Author: Yves Bertot, Yves Bertot, P. Castéran

hardback Category: Computer Programming / Software Development Category: Computer Science Category: Computing: General Category: Software Engineering Category: Artificial Intelligence Category: Computer Architecture & Logic Design Category: Systems Analysis & Design Category: Mathematical Logic Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Discounted book price: 110.02 EUR (price updated on 21.08.2025) Free delivery to EU countries (and more) more Reader's comments and book reviews: Amazon

With this book we recommend buying the following books:

An Illustrated Book of Bad Arguments Price: 14.05 EUR

Interactive Theorem Proving and Program Development Price: 64.24 EUR

Geometry of Continued Fractions Price: 81.03 EUR

Distribution Logistics Price: 151.98 EUR 97.51 EUR

Books from category Mathematical Logic

More than books

The Times Su Doku Book 1: 100 Challenging Puzzles from the Times Price: 10.86 EUR Show book details	The Times Fiendish Su Doku Book 5: 200 Challenging Puzzles from the Times Price: 13.13 EUR Show book details
The Times Killer Su Doku Book 8: 150 Challenging Puzzles from the Times Price: 11.16 EUR Show book details	The Times Killer Su Doku Book 9: 150 Challenging Puzzles from the Times Price: 11.17 EUR Show book details
The Times Super Fiendish Su Doku Book 1: 200 Challenging Puzzles from the Times Price: 11.44 EUR Show book details	The Times Super Fiendish Su Doku Book 2: 200 Challenging Puzzles from the Times Price: 11.47 EUR Show book details
The Times Fiendish Su Doku Book 9: 200 Challenging Puzzles from the Times Price: 10.71 EUR Show book details	The Times Super Fiendish Su Doku. Book 4: 200 Challenging Puzzles from the Times Price: 11.53 EUR Show book details
The Times Codeword. Book 7: 200 Cracking Logic Puzzles Price: 13.13 EUR Show book details	The Times Codeword. Book 8: 200 Cracking Logic Puzzles Price: 10.40 EUR Show book details
Bridge Secrets: Don'T Miss a Trick Price: 11.27 EUR Show book details	Limitless Mind: Learn, Lead and Live without Barriers Price: 18.09 EUR Show book details
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Price: 16.42 EUR Show book details	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Price: 12.81 EUR Show book details
The Sunday Times Teasers. Book 1: Challenge Yourself with 100 Lateral-Thinking Puzzles Price: 16.46 EUR Show book details	At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Price: 18.33 EUR Show book details
At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Price: 21.36 EUR Show book details	Schaum's Outline of Theory and Problems of Set Theory and Related Topics Price: 29.86 EUR Show book details
Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits Price: 28.75 EUR Show book details	Math Proofs Demystified Price: 19.67 EUR 0.00 EUR Show book details