Concurrency : state models & java programming / by Jeff Magee and Jeff Kramer

By: Magee, JeffContributor(s): Kramer, JeffMaterial type: TextTextPublication 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.275
Contents:
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 --------------------
List(s) this item appears in: CS titles
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode Item holds
Books Books Namal Library
Computer Science 		005.275 MAG-C 2006 9076 (Browse shelf (Opens below)) Available 0009076
Books Books Namal Library
Computer Science 		005.275 MAG-C 2006 9031 (Browse shelf (Opens below)) Available 0009031
Books Books Namal Library
Computer Science 		005.275 MAG-C 2006 1261 (Browse shelf (Opens below)) 1 Available 1261
Books Books Namal Library
Computer Science 		005.275 MAG-C 2006 5215 (Browse shelf (Opens below)) c.2 Available 0005215
Total holds: 0

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.

to post a comment.