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

Författare: Yves Bertot

Bok
hardback
Kategori: Datorprogrammering / Software Development
Kategori: Datavetenskap
Kategori: Computing: Allmänt
Kategori: Mjukvaruutveckling
Kategori: Artificiell intelligens
Kategori: Datorarkitektur & Logic Design
Kategori: Systems Analysis & Design
Kategori: Matematisk logik
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Vårt bokpris: 119.34 EUR
(pris uppdaterat den 19.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:

An Illustrated Book of Bad Arguments
Pris: 14.05 EUR
Geometry of Continued Fractions
Pris: 81.03 EUR
Interactive Theorem Proving and Program Development
Pris: 64.24 EUR
Distribution Logistics
Pris: 151.98 EUR 110.52 EUR
Ogiltig begäran.