www.booki.seOberoende prisjämförelse för böcker
© 2026 Booki – CA Advertising AB (org.nr 556869-1520). Alla rättigheter förbehållna.
Prisbevakning
Få notis vid prissänkningAv: Yves Bertot
Lägsta pris
än övriga butiker
Bokus
1 299 kr
Amazon
Bokbörsen
Vi har hittat boken hos 2 butiker med verifierade priser — alla är partnerbutiker som vi får provision från när du klickar på ”Visa hos butik”. Vissa butiker visas som extern länk utan pris — priset ser du först hos butiken. Priset för dig är detsamma. Frakt kan tillkomma och varierar mellan butiker och leveranssätt — kontrollera alltid aktuellt pris och leveransvillkor hos butiken innan du slutför köpet.
Skriver du om boken på en blogg eller sajt? .
Priset har nyligen gått ner jämfört med butikens eget tidigare pris.
Det lägsta priset vi sett för boken sedan Booki började mäta.
Billigaste butiken ligger under de övriga butikernas medianpris just nu — en jämförelse mellan butiker, inte ett prisfall över tid.
Butiken med lägst pris i prislistan på boksidan just nu.
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Bra läge att köpa
Bokus
18 kr dyrare
Rör sig ofta
Författare
Yves Bertot
Författare
Yves Bertot
Serie
Texts in theoretical computer science
Förlag
Springer-Verlag
Utgivningsår
2004
Sidantal
469
Språk
Engelska
Dewey
005.1
ISBN
9783540208549
Av: Yves Bertot
Lägsta pris
än övriga butiker
Bokus
1 299 kr
Amazon
Bokbörsen
Vi har hittat boken hos 2 butiker med verifierade priser — alla är partnerbutiker som vi får provision från när du klickar på ”Visa hos butik”. Vissa butiker visas som extern länk utan pris — priset ser du först hos butiken. Priset för dig är detsamma. Frakt kan tillkomma och varierar mellan butiker och leveranssätt — kontrollera alltid aktuellt pris och leveransvillkor hos butiken innan du slutför köpet.
Skriver du om boken på en blogg eller sajt? .
Priset har nyligen gått ner jämfört med butikens eget tidigare pris.
Det lägsta priset vi sett för boken sedan Booki började mäta.
Billigaste butiken ligger under de övriga butikernas medianpris just nu — en jämförelse mellan butiker, inte ett prisfall över tid.
Butiken med lägst pris i prislistan på boksidan just nu.
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Bra läge att köpa
Bokus
18 kr dyrare
Rör sig ofta
Författare
Yves Bertot
Författare
Yves Bertot
Serie
Texts in theoretical computer science
Förlag
Springer-Verlag
Utgivningsår
2004
Sidantal
469
Språk
Engelska
Dewey
005.1
ISBN
9783540208549
Coq'Art: the calculus of inductive constructions
”23% billigare” visar hur mycket lägre det billigaste priset är än medianpriset hos de övriga butikerna just nu — inte ett tidsbegränsat prisfall.
ISBN 9783540208549 jämförs hos alla butiker
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Bra läge att köpa
Bokus
18 kr dyrare
Rör sig ofta
Författare
Yves Bertot
Serie
Texts in theoretical computer science
Förlag
Springer-Verlag
Utgivningsår
2004
Sidantal
469
Språk
Engelska
ISBN
9783540208549
Det lägsta priset just nu är 1299 kr hos Bokus, av 2 butiker vi jämför. Priser ändras löpande – kontrollera alltid slutpris och frakt hos butiken innan köp.
Priserna uppdateras automatiskt, vanligtvis minst en gång per dygn. Senaste registrerade uppdatering: 11 juli 2026.
Varje butik sätter sitt eget pris och kör olika kampanjer, så samma bok kan kosta olika mycket. Sverige har fri prissättning på böcker – därför lönar det sig att jämföra, och här ser du priserna samlade på ett ställe.
Nej. Priset vi visar är butikens bokpris – fraktkostnad tillkommer och varierar mellan butiker (flera erbjuder fri frakt över en viss summa). Den slutliga fraktkostnaden ser du i butikens kassa innan du betalar.
Ja. Sätt en kostnadsfri prisbevakning så får du besked när priset faller. Du kan också följa prisutvecklingen i prishistoriken här på sidan.
Mer om butikerna
Läs om frakt, betalning, retur och omdömen för butikerna vi jämför priser hos.
