6057281
9780262026499
Principles of Model Checking
by Baier, Christel, Katoen, Joost-Pieter
8823
About this item
- Condition: New
- Provider: Bookjunction Contact
- Provider Rating: 73%
- Ships From: STERLING HEIGHTS, MI
- Shipping: Standard
- Comments: New, US edition. Satisfaction guaranteed!!
72212
About this item
- Condition: Acceptable
- Provider: Read A Book Contact
- Provider Rating: 81%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: IMP: Acceptable- Do not include ACCESS CODE, CD-ROM or companion materials even if stated in item title. It may contain highlighting/markings throughout, and the covers and corners may show shelf wear. Corners, pages may be dent. All text is legible. 27
Product details
- ISBN-13: 9780262026499
- ISBN: 026202649X
- Publication Date: 2008
- Publisher: MIT Press
AUTHOR
SUMMARY
Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique.Baier, Christel is the author of 'Principles of Model Checking', published 2008 under ISBN 9780262026499 and ISBN 026202649X.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
