# Logic in Computer Science: Modelling and Reasoning about Systems

**Modelling and Reasoning about Systems** van Michael Huth is een studieboek over formeel redeneren binnen de computerwetenschap. Het richt zich op methoden voor het modelleren, specificeren en verifiëren van systemen met een focus op formele technieken en model-checking.

Deze tweede editie biedt een grondige introductie in formeel redeneren, aangepast aan de actuele behoeften van de informatica. De tekst is uitgebreid met nieuwe en uitgebreide hoofdstukken over SAT-solvers, tweede-orde logica, micro-models en programmaverificatie. De inhoud ondersteunt studenten en professionals met heldere uitleg en extra oefeningen, inclusief online oplossingen.

### Kenmerken

-   Auteur: Michael Huth (Imperial College London)
-   Uitgever: Cambridge University Press
-   Bindwijze: Trade paperback (US)
-   Verschijningsdatum: 26 augustus 2004
-   Aantal pagina's: 440
-   ISBN: 9780521543101
-   Thema: Mathematical theory of computation
-   BISAC: COMPUTERS / Machine Theory

## Details

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

## Variants

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

## Images

- The book cover of logic in computer science second edition by michael huth and mark ryan for modelling and reasoning in computer science

## Additional Information

- **ISBN :** 9780521543101
- **Auteur:** Michael Huth (Imperial College of Science, Technology and Medicine, London)
- **Categorie / Thema:** Studieboek / academisch

---

> Source: [Intertaal](https://intertaalid.nl/products/logic-in-computer-science-modelling-and-reasoning-about-systems-michael-huth-imperial-college-of-science-technology-and-medicine-london-9780521543101)
> Updated: 2026-08-15