Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | 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: 109.00 EUR (price updated on 15.04.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:
| Theorem Proving in Higher Order Logics Price:  | Godel, Escher, Bach Price: 23.50 EUR  | An Illustrated Book of Bad Arguments Price: 14.05 EUR  | Geometry of Continued Fractions Price: 81.03 EUR  |