# Program Proofs

Program Proofs van K. Rustan M. Leino is een studieboek dat diepgaand ingaat op formele methoden voor het bewijzen van programma-eigenschappen. Deze uitgave, geschikt voor onderzoekers en gevorderde studenten in software engineering, biedt concrete inzichten in theoretische aspecten van program proofs.

### Productspecificaties

-   **Auteur:** K. Rustan M. Leino
-   **Uitgever:** MIT Press Ltd
-   **Imprint:** MIT Press
-   **Verschijningsdatum:** 2023-03-07
-   **Aantal pagina's:** 496
-   **ISBN:** 9780262546232
-   **Thema:** Computer programming / software engineering
-   **BISAC:** COMPUTERS / Programming / General

## Details

- **Price:** 68.68 EUR
- **Vendor:** Intertaal
- **Type:** Boek

## Variants

| Variant | Price | Available |
|---------|-------|-----------|
| Default Title | 68.68 EUR | In stock |

## Images

- The book cover of program proofs by k features two cartoon characters waving with a blue code background

## Additional Information

- **ISBN :** 9780262546232
- **Auteur:** K. Rustan M. Leino
- **Categorie / Thema:** Studieboek / academisch

---

> Source: [Intertaal](https://intertaalid.nl/products/program-proofs-k-rustan-m-leino-9780262546232)
> Updated: 2026-08-24