Model Checking, second edition (Cyber Physical Systems Series)
MIA KARTS BOOKS
Model Checking, second edition (Cyber Physical Systems Se...
- Vendor: Mia Karts
Model Checking, second edition (Cyber Physical Systems Series)
$90.00 USD
Shipping calculated at checkout.
Available
Book Details
- Author
- Edmund M. Clarke Jr.
- Publisher
- MIT Press
- Format
- Hardcover
- Condition
- New
- ISBN-13
- 9780262038836
- ISBN-10
- 0262038838
Free U.S. shipping on all orders. International shipping is calculated at checkout.
ISBN: 0262038838
Author: MIT Press
Model Checking, second edition (Cyber Physical Systems Series). by MIT Press. Category: ABIS_BOOK.
Have a question?
Model Checking, second edition (Cyber Physical Systems Series)
