Concurrency verification : introduction to compositional and noncompositional methods.
By: De Roever, Willem-Paul.
Material type:
BookSeries: Cambridge tracts in theoretical computer science.Publisher: Cambridge: Cambridge University Press, 2001Description: xxii, 776 p.; ill.: 24 cm.ISBN: 9780521806084 .Subject(s): Computer software - Verification | Parallel processing (Electronic computers)DDC classification: 004.35
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.35 ROE (Browse shelf) | Available | 013668 |
Browsing DAIICT Shelves Close shelf browser
| 004.35 RAJ Elements of parallel computing | 004.35 RAJ Parallel Computers | 004.35 RES High performance computing on vector systems 2007 | 004.35 ROE Concurrency verification : introduction to compositional and noncompositional methods. | 004.35 ROS Theory and practice of concurrency | 004.35 ROS Understanding concurrent systems | 004.35 ROS Understanding concurrent systems |
There are no comments for this item.