Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | paperback Categorie: Fundamentele matematice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Preţul cărţii noastre: 87.22 EUR (Preţ reactualizat 23.09.2024) Livrare gratuită în România Mai mult Comentariile cititorului şi recenziile cărţilor: Amazon |
Alături de această carte, de asemenea, îţi recomandăm următoarele cărţi:
| What Is the Name of This Book? Preţ: 13.50 EUR  | Building Proofs Preţ: 22.99 EUR  | Godel, Escher, Bach Preţ: 23.50 EUR  | Theorem Proving in Higher Order Logics Preţ:  |