Compositional Verification of Concurrent and Real-Time Systems - Info and Reading Options
By Eric Y. T. Juan, Eric Y.T. Juan and Jeffrey J.P. Tsai
"Compositional Verification of Concurrent and Real-Time Systems" is published by Springer in Sep 23, 2011 and it has 220 pages.
“Compositional Verification of Concurrent and Real-Time Systems” Metadata:
- Title: ➤ Compositional Verification of Concurrent and Real-Time Systems
- Authors: Eric Y. T. JuanEric Y.T. JuanJeffrey J.P. Tsai
- Number of Pages: 220
- Publisher: Springer
- Publish Date: Sep 23, 2011
“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 Specifications:
- Format: paperback
Edition Identifiers:
- The Open Library ID: OL27962540M - OL13185560W
- ISBN-13: 9781461510109
- ISBN-10: 1461510104
- All ISBNs: 1461510104 - 9781461510109
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.