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