---
title: "Program Proofs - K. Rustan M. Leino - Paperback Bog - MIT Press Ltd - 2023 - Engelsk - Booktok.dk"
ean: "9780262546232"
brand: "MIT Press Ltd"
category: "Medier > Bøger"
price_min: 692
price_max: 692
currency: DKK
vendor_count: 1
in_stock: true
url: https://pricetracker.dk/p/9780262546232/program-proofs-k-rustan-m-leino-paperback-bog-mit-press-ltd-2023
last_checked: 2026-10-18
---

# Program Proofs - K. Rustan M. Leino - Paperback Bog - MIT Press Ltd - 2023 - Engelsk - Booktok.dk

EAN 9780262546232 · Mærke: MIT Press Ltd · Kategori: Medier > Bøger

Sammenlign priser på Program Proofs - K. Rustan M. Leino - Paperback Bog - MIT Press Ltd - 2023 - Engelsk - Booktok.dk fra 1 forhandler. Billigste pris nu: 692 kr hos Booktok. Se aktuelle priser og køb hos den billigste forhandler på https://pricetracker.dk/p/9780262546232/program-proofs-k-rustan-m-leino-paperback-bog-mit-press-ltd-2023

## Priser
- **Billigste pris nu:** 692 kr hos Booktok

## Forhandlere
| Forhandler | Pris | Levering |
|---|---|---|
| Booktok | 692 kr | 1-3 dage |

## Om produktet
Beskrivelse fra forhandleren Booktok:

> 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

---

Kilde: PriceTracker. Fuld side med interaktiv prishistorik og købslinks: https://pricetracker.dk/p/9780262546232/program-proofs-k-rustan-m-leino-paperback-bog-mit-press-ltd-2023
Priserne er sidst kontrolleret 2026-10-18.