# Principles of Model Checking

Principles of Model Checking van Christel Baier, verbonden aan Technische Universität Dresden, is een uitgebreid studieboek over model checking in de informatica. Dit naslagwerk biedt diepgaande theoretische kennis en praktische inzichten, geschikt voor studenten en professionals die zich willen verdiepen in formele verificatietechnieken.

### Productspecificaties

-   **Auteur:** Christel Baier (Technische Universität Dresden)
-   **Serie:** Principles of Model Checking
-   **Uitgever:** MIT Press Ltd
-   **Imprint:** MIT Press
-   **Verschijningsdatum:** 2008-04-25
-   **Aantal pagina's:** 984
-   **ISBN:** 9780262026499
-   **Thema:** Computer science
-   **BISAC:** COMPUTERS / Computer Science

## Details

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

## Variants

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

## Images

- Rood-oranje boekcover van principles of model checking door christel baier met wit diagram van verbonden knooppunten

## Additional Information

- **ISBN :** 9780262026499
- **Auteur:** Christel Baier (Technische Universitat Dresden)
- **Serie:** Principles of Model Checking
- **Categorie / Thema:** Studieboek / academisch

---

> Source: [Intertaal](https://intertaalid.nl/products/principles-of-model-checking-christel-baier-technische-universitat-dresden-9780262026499)
> Updated: 2026-09-14