An edition of Compositional verification of concurrent and real-time systems (2002)
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
By Eric Y. T. Juan,Eric Y.T. Juan,Jeffrey J.P. Tsai
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
April 30, 2002
Publisher
Springer
Language
eng
Pages
206
Description:
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