| 000 | 01549nam a22002537a 4500 | ||
|---|---|---|---|
| 999 |
_c942 _d942 |
||
| 003 | LSCPL | ||
| 005 | 20200226193413.0 | ||
| 008 | 130626t2006 enkill.g |||| 001 0 eng d | ||
| 020 | _a0470093552 (hbk) | ||
| 020 | _a9780470093559 (hbk) | ||
| 040 |
_cNCL _dLIN2019 |
||
| 082 |
_a005.275 _bMAG-C 2006 1261 |
||
| 100 | 1 |
_aMagee, Jeff _91895 |
|
| 245 | 1 |
_aConcurrency : _bstate models & java programming / _cby Jeff Magee and Jeff Kramer |
|
| 250 | _a2nd ed. | ||
| 260 |
_aChichester, _bJohn Wiley & sons, _c2006c. |
||
| 300 |
_axvii, 407p. : _bill. ; _c25cm. |
||
| 500 | _aIndex included | ||
| 505 | _aChapter 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 -------------------- | ||
| 650 | 0 |
_aParallel programming (computer languages) _91897 |
|
| 650 | 4 |
_a"CDS" _xConcurrent and distribute systems----CM-0518D |
|
| 700 | 1 |
_aKramer, Jeff _91896 |
|
| 942 |
_2ddc _cREF |
||