Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | hardback Categorie: Computer Programming / Software Development Categorie: Computertechnologie Categorie: Computing: Algemeen Categorie: Software engineering Categorie: Kunstmatige intelligentie Categorie: Computer Architecture & Logic Ontwerp Categorie: Systems Analysis & Design Categorie: Wiskundige Logica Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Onze boekprijs: 119.34 EUR (prijs bijgewerkt op 19.09.2024) Gratis verzending in Nederland meer Reacties en beoordelingen van lezers: Amazon |
Bij dit boek raden we ook de volgende boeken aan:
| Theorem Proving in Higher Order Logics Prijs:  | Interactive Theorem Proving and Program Development Prijs: 64.24 EUR  | Geometry of Continued Fractions Prijs: 81.03 EUR  | Distribution Logistics Prijs:  |