Reactive Systems - Info and Reading Options
Modelling, Specification and Verification
By Luca Aceto
"Reactive Systems" was published by Cambridge University Press in 2007 and the language of the book is English.
“Reactive Systems” Metadata:
- Title: Reactive Systems
- Author: Luca Aceto
- Language: English
- Publisher: Cambridge University Press
- Publish Date: 2007
“Reactive Systems” Subjects and Themes:
- Subjects: ➤ Expert systems (Computer science) - Validation - Verification - System design - Mathematical models - Computer software, verification - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL40499624M - OL16940323W
- ISBN-13: 9780511335358
- All ISBNs: 9780511335358
AI-generated Review of “Reactive Systems”:
Read “Reactive Systems”:
Read “Reactive Systems” by choosing from the options below.
Search for “Reactive Systems” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Reactive Systems” in Libraries Near You:
Read or borrow “Reactive Systems” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Reactive Systems” at a library near you.
Buy “Reactive Systems” online:
Shop for “Reactive Systems” on popular online marketplaces.
- Ebay: New and used books.