Concurrency : state models & java programming / by Jeff Magee and Jeff Kramer
Material type: TextPublication details: Chichester, John Wiley & sons, 2006cEdition: 2nd edDescription: xvii, 407p. : ill. ; 25cmISBN: 0470093552 (hbk); 9780470093559 (hbk)Subject(s): Parallel programming (computer languages) | "CDS" -- Concurrent and distribute systems----CM-0518DDDC classification: 005.275Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 005.275 MAG-C 2006 9076 (Browse shelf (Opens below)) | Available | 0009076 | |||
Books | Namal Library Computer Science | 005.275 MAG-C 2006 9031 (Browse shelf (Opens below)) | Available | 0009031 | |||
Books | Namal Library Computer Science | 005.275 MAG-C 2006 1261 (Browse shelf (Opens below)) | 1 | Available | 1261 | ||
Books | Namal Library Computer Science | 005.275 MAG-C 2006 5215 (Browse shelf (Opens below)) | c.2 | Available | 0005215 |
Browsing Namal Library shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
005.275 LIN-P 2010 3558 Principles of parallel programming / | 005.275 MAG-C 2006 5215 Concurrency : state models & java programming / | 005.275 MAG-C 2006 1261 Concurrency : state models & java programming / | 005.275 MAG-C 2006 9031 Concurrency : state models & java programming / | 005.275 MAG-C 2006 9076 Concurrency : state models & java programming / | 005.275 PAC-A 2011 10079 An introduction to parallel programming / | 005.275 PAC-A 2011 10278 An introduction to parallel programming / |
Index included
Chapter 1: Introduction -------------------
Chapter 2: Processes and threads -------------------
Chapter 3: Concurrent execution --------------------
Chapter 4: Shared objects and mutual exclusion -------------------
Chapter 5: Monitors and condition synchronization ---------------------
Chapter 6: Deadlock ------------------
Chapter 7: Safety and liveness properties --------------------
Chapter 8: Model based design --------------------
Chapter 9: Dynamic systems -------------------
Chapter 10: Message passing -------------------
Chapter 11: Concurrent architectures ----------------------
Chapter 12: Timed system -------------------
Chapter 13: Program verification ---------------------
Chapter 14: Logical properties --------------------
There are no comments on this title.