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

Författare: Yves Bertot

Bok
paperback
Kategori: Matematiska grunder
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Vårt bokpris: 87.22 EUR
(pris uppdaterat den 23.09.2024)

Gratis leverans till Sverige mer

Läsarens kommentar och bokrecensioner: Amazon

Se och beställ

Vi rekommenderar också följande böcker, med denna bok:

Godel, Escher, Bach
Pris: 23.50 EUR
Building Proofs
Pris: 22.99 EUR
An Illustrated Book of Bad Arguments
Pris: 17.62 EUR
Theorem Proving in Higher Order Logics
Pris: 82.91 EUR 56.38 EUR
Ogiltig begäran.