ISBN 9780511814105 is currently unpriced. Please contact us for pricing.
Available options are listed below:
Available options are listed below:
Reactive Systems: Modelling, Specification and Verification
| AUTHOR | Inglfsdttir, Anna; Larsen, Kim Guldstrand; Aceto, Luca |
| PUBLISHER | Cambridge University Press (03/17/2011) |
| PRODUCT TYPE | eBook (Open Ebook) |
Description
Show More
Product Format
Product Details
ISBN-13:
9780511814105
ISBN-10:
0511814100
Content Language:
English
More Product Details
Carton Quantity:
0
Feature Codes:
Bibliography,
Price on Product
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Languages - General
Computers | Artificial Intelligence - Expert Systems
Dewey Decimal:
006.33