| | Books 1 - 2 of 2 | Previous | Next | 
|  | | Reactive Systems: Modelling, Specification and Verification
by Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba
Hardcover, 300 Pages, Published 2007 by Cambridge University Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Principles of Model Checking
by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen (Foreword)
Hardcover, 975 Pages, Published 2008 by The MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 2 of 2 | Previous | Next |
|