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