Maten, livet och samtalen runt köksbordet
74 kr
Kategorier
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
585 kr
Se prishistorikInformera mig när priset sjunker
Sorterat efter billigast pris
Vi har hittat produkten i totalt 1 butiker, varav 1 är betalande kunder hos Prisjakt och har direktlänk till butiken.
Butiker kan sälja produkten i flera varianter och olika skick. Ändra inställningar för att styra vilka erbjudande du ser.
Butiker kan sälja produkten i flera varianter och olika skick. Ändra inställningar för att styra vilka erbjudande du ser.
Annons
Annons
Produktinformation
Det billigaste priset för Adam Chlipala: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant just nu är 585 kr. Prisjakt jämför priser och erbjudande från nätbutiker och fysiska butiker.
Genre
Typ
Pappersböcker
Språk
Engelska
Karaktär/serie
Författare
Format
Annons
Annons