Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science) - 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 (The Springer International Series in Engineering and Computer Science)" is published by Springer in April 30, 2002, it has 216 pages and the language of the book is English.
“Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)” Metadata:
- Title: ➤ Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
- Authors: Eric Y. T. JuanEric Y.T. JuanJeffrey J.P. Tsai
- Language: English
- Number of Pages: 216
- Publisher: Springer
- Publish Date: April 30, 2002
“Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)” 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: Hardcover
- Weight: 1.1 pounds
- Dimensions: 9.4 x 5.9 x 0.4 inches
Edition Identifiers:
- The Open Library ID: OL8372317M - OL13185560W
- ISBN-13: 9781402070259
- ISBN-10: 140207025X
- All ISBNs: 140207025X - 9781402070259
AI-generated Review of “Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)”:
Snippets and Summary:
Concurrency is an important technique widely used in modern systems.
Read “Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)”:
Read “Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)” by choosing from the options below.
Search for “Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)” in Libraries Near You:
Read or borrow “Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)” from your local library.
Buy “Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)” online:
Shop for “Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)” on popular online marketplaces.
- Ebay: New and used books.