6057281
9780262026499
Principles of Model Checking
by Baier, Christel, Katoen, Joost-Pieter
246719
About this item
- Condition: Like New
- Provider: Bellwetherbooks Contact
- Provider Rating: 97%
- Ships From: McKeesport, PA
- Shipping: Standard, Expedited
- Comments: LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.
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.
