Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
 | hardback Categorie: Programare calculator / Dezvoltare de softuri Categorie: Informatică Categorie: Rețele de calculatoare Categorie: Inginerie software Categorie: Inteligență artificială Categorie: Calculatoare, Arhitectura si design Logic Categorie: Analiza si Design Sisteme Categorie: Logica matematică Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Preţul cărţii noastre: 119.34 EUR (Preţ reactualizat 19.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:
| Godel, Escher, Bach Preţ: 23.50 EUR  | Theorem Proving in Higher Order Logics Preţ:  | Interactive Theorem Proving and Program Development Preţ: 64.24 EUR  | An Illustrated Book of Bad Arguments Preţ: 14.05 EUR  |