Interactive Theorem Proving and Program Development
- Vikt 0,86 kg
Bra pris nuLägsta priset på 1 månad
1 293 kr1 305 kr−0% senaste veckanhos Bokus · exkl. frakt
Jämfört med det lägsta pris vi sett de 30 dagarna före sänkningen.
386 kr skillnad mellan billigaste och dyraste butik i lager
Dubbelkollat idag
Jämför 2 butiker
- Bokus, 1 293 kr, frakt enligt butiken. Till butik (öppnas i ny flik)
I lagerFrakt: se butikenDubbelkollad 05:51
1 293 kr
Lägst
- Akademibokhandeln, 1 679 kr, frakt enligt butiken. Till butik (öppnas i ny flik)
I lagerFrakt: se butikenDubbelkollad 05:53
1 679 kr
Priser från butikernas flöden kan ha ändrats: det är priset hos butiken som gäller, så kontrollera det innan du handlar.
Prishistorik
Köp nu eller vänta?
Just nu kostar produkten 1 293 kr — det lägsta vi sett på 1 månad.
Under den tiden har det oftast legat runt 1 310–1 320 kr.
Pris idag
1 293 kr
- Lägst
- 1 293 kr
- Snitt
- 1 318 kr
- Högst
- 1 332 kr
| 2026-09-15 | 1 320 kr · Lägst hos Bokus |
|---|---|
| 2026-09-18 | 1 324 kr · Lägst hos Bokus |
| 2026-09-23 | 1 326 kr · Lägst hos Bokus |
| 2026-09-24 | 1 324 kr · Lägst hos Bokus |
| 2026-09-25 | 1 321 kr · Lägst hos Bokus |
| 2026-09-28 | 1 323 kr · Lägst hos Bokus |
| 2026-09-30 | 1 326 kr · Lägst hos Bokus |
| 2026-10-02 | 1 330 kr · Lägst hos Bokus |
| 2026-10-03 | 1 331 kr · Lägst hos Bokus |
| 2026-10-05 | 1 332 kr · Lägst hos Bokus |
| 2026-10-09 | 1 321 kr · Lägst hos Bokus |
| 2026-10-11 | 1 316 kr · Lägst hos Bokus |
| 2026-10-13 | 1 313 kr · Lägst hos Bokus |
| 2026-10-16 | 1 316 kr · Lägst hos Bokus |
| 2026-10-17 | 1 312 kr · Lägst hos Bokus |
| 2026-10-19 | 1 314 kr · Lägst hos Bokus |
| 2026-10-20 | 1 310 kr · Lägst hos Bokus |
| 2026-10-22 | 1 305 kr · Lägst hos Bokus |
| 2026-10-27 | 1 306 kr · Lägst hos Bokus |
| 2026-11-01 | 1 293 kr · Lägst hos Bokus |
Om produkten
Interactive Theorem Proving and Program Development
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.
Specifikationer
Fakta
- Vikt
- 0,86 kg
- GTIN
- 09783540208549
Uppgifter från tillverkare och butiker.