Modelling and Reasoning about Systems Michael Huth is a textbook on formal reasoning in computer science. It focuses on methods for modeling, specifying, and verifying systems with an emphasis on formal techniques and model checking.
This second edition provides a thorough introduction to formal reasoning, tailored to the current needs of computer science. The text has been expanded with new and extensive chapters on SAT solvers, second-order logic, micro-models, and program verification. The content supports students and professionals with clear explanations and additional exercises, including online solutions.
Features
- Author: Michael Huth (Imperial College London)
- Publisher: Cambridge University Press
- Format: Trade paperback (US)
- Publication date: August 26, 2004
- Number of pages: 440
- ISBN: 9780521543101
- Theme: Mathematical theory of computation
- BISAC: COMPUTERS / Machine Theory