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: 119.34 EUR (price updated on 19.09.2024) 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:  | Interactive Theorem Proving and Program Development Price: 64.24 EUR  | Distribution Logistics Price:  | Geometry of Continued Fractions Price: 81.03 EUR  |