Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | paperback Category: Mathematical Foundations Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Discounted book price: 87.22 EUR (price updated on 23.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:
| An Illustrated Book of Bad Arguments Price: 17.62 EUR  | Interactive Theorem Proving and Program Development Price: 91.74 EUR  | What Is the Name of This Book? Price: 13.50 EUR  | Building Proofs Price: 22.99 EUR  |