90-dagarsmetoden
199 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
653 kr
Se prishistorikInformera mig när priset sjunker
Sorterat efter billigast pris
- Visa 1 stErbjudande utan direktlänkfr. 1 039 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.
Annons
Annons
Trendande just nu
- Hästarna i mitt hjärta: Ett helt liv i sadeln219 kr
- Verity119 kr
- Fearless166 kr
- Fint hemma : Din enkla guide till ett rent och inrett hem199 kr
- Hjärnstark minior : bli smartare än din egen hjärna159 kr
- Nätter utan gryning139 kr
- Energireceptet : Din dagliga dos återhämtning för ett gladare, piggare och friskare liv149 kr
Produktinformation
Det billigaste priset för Adam Chlipala: Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant just nu är 653 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
Annons
Annons