Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Autore: Yves Bertot

Libro
hardback
Categoria: Computer Programming / Software Development
Categoria: Scienza del computer
Categoria: Computing: General
Categoria: Ingegneria del software
Categoria: Intelligenza artificiale
Categoria: Computer Architecture & Logiche
Categoria: Analisi e Design Systems
Categoria: Logica matematica
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Il nostro prezzo: 119.34 EUR
(prezzo aggiornato il 19.09.2024)

Spedizione gratuita in Italia
Commenti dei lettori e recensioni del libro: Amazon

Vai e ordina

Altri libri che ti consigliamo insieme a questo:

Geometry of Continued Fractions
Prezzo: 81.03 EUR
Distribution Logistics
Prezzo: 151.98 EUR 110.52 EUR
Theorem Proving in Higher Order Logics
Prezzo: 82.91 EUR 56.38 EUR
Interactive Theorem Proving and Program Development
Prezzo: 64.24 EUR
Richiesta non valida.