Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | paperback Categorie: Wiskundige Stichtingen Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Onze boekprijs: 87.22 EUR (prijs bijgewerkt op 23.09.2024) Gratis verzending in Nederland meer Reacties en beoordelingen van lezers: Amazon |
Bij dit boek raden we ook de volgende boeken aan:
| Building Proofs Prijs: 22.99 EUR  | Interactive Theorem Proving and Program Development Prijs: 91.74 EUR  | What Is the Name of This Book? Prijs: 13.50 EUR  | Godel, Escher, Bach Prijs: 23.50 EUR  |