Program Proofs
Pris hos Bog&idé
829,95 kr.
Fragt oplyses hos butikken · Se lager hos butikken
Se pris hos Bog&idéReklamelink · Priser fra Bog&idé · Åbner i en ny fane
Beskrivelse og detaljer
This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny. Program Proofs shows students what it means to write specifications
- Mærke
- Gardners EUR
- Kategori
- Bøger
- GTIN
- 09780262546232
Prishistorik
Laveste observation i perioden 829,95 kr.
Ingen registreringer i denne periode. Prøv 90 dage.
Én registrering indtil videre. Grafen vokser, når vi registrerer nye priser. Ekskl. fragt.
| Dato | Varepris |
|---|---|
| 14. september 2026 | 829,95 kr. |
Om priser og sammenligning
Priser, førpriser og lager kommer fra butikkerne. Besparelsen beregnes ud fra butikkens oplyste førpris. Kildeangivelsen er ikke i sig selv en uafhængig kontrol af førprisens grundlag. En vejledende udsalgspris er et andet sammenligningsgrundlag.
Prishistorikken viser vores registrerede prisændringer og dokumenterer ikke butikkens laveste pris i de foregående 30 dage.
Vi sammenligner vores tilknyttede butikker på samme EAN/GTIN. Produkttekster og variantoplysninger kan variere eller mangle. Oversigten dækker ikke hele markedet.
Priser kan ændre sig, og der tages forbehold for fejl i butikkernes oplysninger. Kontrollér variant, lager og endelig pris hos butikken. Vi kan modtage provision ved køb gennem reklamelinks.
- Bog&idé · Pris indhentet 14. september 2026
