1222763
9780262032704
Model Checking
by Doron A. Peled, Orna Grumberg, Edmund M. Clarke Jr.
8823
About this item
- Condition: New
- Provider: Bookjunction
- Provider Rating: 73%
- Ships From: STERLING HEIGHTS, MI
- Shipping: Standard
- Comments: New, US edition. Satisfaction guaranteed!!
246719
List Price
Discount
73% Off
You Save
$51.02
About this item
- Condition: Like New
- Provider: Bellwetherbooks
- Provider Rating: 95%
- 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: 9780262032704
- ISBN: 0262032708
- Edition: n
- Publication Date: 1999
- Publisher: The MIT Press
AUTHOR
SUMMARY
Doron A. Peled is the author of 'Model Checking', published 1999 under ISBN 9780262032704 and ISBN 0262032708.
[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.
