Principles of Model Checking by Christel Baier, associated with Technische Universität Dresden, is a comprehensive textbook on model checking in computer science. This reference work offers in-depth theoretical knowledge and practical insights, suitable for students and professionals who want to delve into formal verification techniques.
Product specifications
- Author: Christel Baier (Technische Universität Dresden)
- Series: Principles of Model Checking
- Publisher: MIT Press Ltd
- Imprint: MIT Press
- Publication date: 2008-04-25
- Number of pages: 984
- ISBN: 9780262026499
- Topic: Computer science
- BISAC: COMPUTERS / Computer Science