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

Autore: Yves Bertot

Libro
paperback
Categoria: Fondamenti matematici
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Il nostro prezzo: 87.22 EUR
(prezzo aggiornato il 23.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:

Godel, Escher, Bach
Prezzo: 23.50 EUR
An Illustrated Book of Bad Arguments
Prezzo: 17.62 EUR
Interactive Theorem Proving and Program Development
Prezzo: 91.74 EUR
Building Proofs
Prezzo: 22.99 EUR
Richiesta non valida.