- Published: 25 April 2008
- ISBN: 9780262026499
- Imprint: MIT Press Academic
- Format: Hardback
- Pages: 984
- RRP: $175.00
Principles of Model Checking
Buy from…
Amazon
Booktopia
Dymocks
QBD
Readings
Find local retailers
Abbeys
Angus & Robertson
Boomerang
Collins
Fishpond
Gleebooks
Harry Hartog
Kinokuniya
Robinsons
The Nile
Your Bookstore
- Published: 25 April 2008
- ISBN: 9780262026499
- Imprint: MIT Press Academic
- Format: Hardback
- Pages: 984
- RRP: $175.00
This is an impressive piece of work...The book can be used as a kind of reference manual for the classical basis of model checking for lecturers, who will be able to select some parts in order to construct a coherent and complete lecture on automatic verification; and of course for students, who will find many explanations, motivations, examples, and proofs to help them discover this very active research area.—François Laroussinie, The Computer Journal—