En skärgårdsjul
219 kr
Kategorier
Black Week – se reans bästa deals
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
661 kr
Se prishistorikInformera mig när priset sjunker
- Visa 1 stErbjudande utan direktlänkfr. 1 119 kr
Vi har hittat produkten i totalt 3 butiker, varav 2 ä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.
Trendande under Black Friday
Produktinformation
Det billigaste priset för Adam Chlipala: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant just nu är 661 kr. Prisjakt jämför priser och erbjudande från 3 butiker.
Genre
Typ
Pappersböcker
Språk
Engelska
Karaktär/serie
Författare
Format