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" was published by Kluwer Academic Publishers in 2002 - Boston, it has 196 pages and the language of the book is English.
“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
- Language: English
- Number of Pages: 196
- Publisher: Kluwer Academic Publishers
- Publish Date: 2002
- Publish Location: Boston
“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:
- Pagination: xvii, 196 p. :
Edition Identifiers:
- The Open Library ID: OL21484963M - OL13185560W
- Online Computer Library Center (OCLC) ID: 49226201
- Library of Congress Control Number (LCCN): 2002023653
- ISBN-10: 140207025X
- All ISBNs: 140207025X
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.