Prisjakt
Annons

Adam Chlipala: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Adam Chlipala: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Genre: Datorer & IT, Typ: Pappersböcker, Språk: EngelskaLäs mer
Nu

863 kr

Se prishistorik

Adam Chlipala: Certified Programming with Dependent Types: A Pragmatic Introduct... Assistant

Produktinformation

Det billigaste priset för Adam Chlipala: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant just nu är 863 kr. Prisjakt jämför priser och erbjudande från nätbutiker och fysiska butiker.

Typ
Pappersböcker
Språk
Engelska
Karaktär/serie
Författare
Format
Annons
Annons