Compositional verification of concurrent and real-time systems
ShareCopied to clipboardCompositional verification of concurrent and real-time systems is a book. It was written by Eric Y. T. Juan and published by Kluwer Academic Publishers in 2002.
Key facts
- author: Eric Y. T. Juan
- publication date: 2002
- book publisher: Kluwer Academic Publishers
- book series: The Kluwer international series in engineering and computer science
- book subjects: Real-time data processing, Parallel processing (Electronic computers), Computer systems-Verification
See more factsExtract data
Download datasets about Compositional verification of concurrent and real-time systems:
Dataset of books series that contain Compositional verification of concurrent and real-time systems
"Compositional verification of concurrent and real-time systems" is one of the books by Eric Y. T. Juan, books by Kluwer Academic Publishers and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.