ISBN 026202649X books & textbook

Principles of Model Checking (Mit Press)

Baier, Christel Katoen, Joost-Pieter Larsen, Kim Guldstrand

The MIT Press /2008-04-25 Hardcover / 975 Pages
isbn-10: 026202649X / isbn-13: 9780262026499