Title: Compositional verification of concurrent and real-time systems
First published: 2002
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)
LC classification: QA76.58 .J83 2002