Sold Out
Book Categories |
1 | Introduction | 1 |
2 | Processes and threads | 11 |
3 | Concurrent execution | 37 |
4 | Shared objects and mutual exclusion | 63 |
5 | Monitors and condition synchronization | 79 |
6 | Deadlock | 107 |
7 | Safety and liveness properties | 123 |
8 | Model-based design | 159 |
9 | Dynamic systems | 183 |
10 | Message passing | 209 |
11 | Concurrent architectures | 237 |
12 | Timed systems | 277 |
13 | Program verification | 319 |
14 | Logical properties | 345 |
App. A | FSP quick reference | 367 |
App. B | FSP language specification | 371 |
App. C | FSP semantics | 389 |
App. D | UML class diagrams | 399 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionConcurrency: State Models and Java Programs
X
This Item is in Your InventoryConcurrency: State Models and Java Programs
X
You must be logged in to review the productsX
X
X
Add Concurrency: State Models and Java Programs, , Concurrency: State Models and Java Programs to the inventory that you are selling on WonderClubX
X
Add Concurrency: State Models and Java Programs, , Concurrency: State Models and Java Programs to your collection on WonderClub |