Compositional verification of concurrent and real-time systems - Info and Reading Options
By Eric Y. T. Juan
“Compositional verification of concurrent and real-time systems” Metadata:
- Title: ➤ Compositional verification of concurrent and real-time systems
- Author: Eric Y. T. Juan
“Compositional verification of concurrent and real-time systems” Subjects and Themes:
- Subjects: ➤ Parallel processing (Electronic computers) - Real-time data processing - Verification - Computer systems - Software engineering - Parallel Processing - Computers - Technology & Industrial Arts - Programming - Software Development - Computer Books: General - Programming - Parallel Programming - Parallel processing (Electroni - Data Processing - Parallel Processing - General - Computers / Parallel Processing - Computers / Programming / Software Development - Computers : Programming - Software Development - Medical : General - Parallel processing (electronic computers)
Edition Identifiers:
- The Open Library ID: OL13185560W
AI-generated Review of “Compositional verification of concurrent and real-time systems”:
Read “Compositional verification of concurrent and real-time systems”:
Read “Compositional verification of concurrent and real-time systems” by choosing from the options below.
Search for “Compositional verification of concurrent and real-time systems” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Compositional verification of concurrent and real-time systems” in Libraries Near You:
Read or borrow “Compositional verification of concurrent and real-time systems” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Compositional verification of concurrent and real-time systems” at a library near you.
Buy “Compositional verification of concurrent and real-time systems” online:
Shop for “Compositional verification of concurrent and real-time systems” on popular online marketplaces.
- Ebay: New and used books.