Understanding concurrent systems
By: Roscoe, A. W.
Material type:
BookSeries: Texts in computer science.Publisher: London: Springer, 2010Description: xviii, 527 p.; ill.: 24 cm.ISBN: 9781848822573 .Subject(s): Parallel processing (Electronic computers) | Operating systems | Logics and Meanings of Programs | Sequential processing (Computer science) | Computer scienceDDC classification: 004.35
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.35 ROS (Browse shelf) | Available | 025817 | ||
| Books | 004.35 ROS (Browse shelf) | Available | 027146 |
Browsing DAIICT Shelves Close shelf browser
| 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 | 004.35 SAS Introduction to Parallel Processing | 004.35 SAS Introduction to Parallel Processing | 004.35 SCH Protocols by invariants |
There are no comments for this item.