ISBN 9780262026499 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
Baier, Christel Katoen, Joost-Pieter Larsen, Kim Guldstrand
The MIT Press /2008-04-25 Hardcover / 975 Pages
isbn-10: 026202649X / isbn-13: 9780262026499