Wonder Club world wonders pyramid logo
×

Concurrency: State Models and Java Programs Book

Concurrency: State Models and Java Programs
Concurrency: State Models and Java Programs, , Concurrency: State Models and Java Programs has a rating of 5 stars
   1 Rating
X
Concurrency: State Models and Java Programs, , Concurrency: State Models and Java Programs
5 out of 5 stars based on 1 reviews
5
100 %
4
0 %
3
0 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Concurrency: State Models and Java Programs
  • Written by author Jeff Magee
  • Published by Wiley, John & Sons, Incorporated, July 2006
  • ‘I love this book! It is beautifully written and the combined FSP/Java approach to model-based development is leading-edge.  The supporting materials, including the LTSA software and the lecture slides, are superb.’ (Scott Smolka, SUNY
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

1Introduction1
2Processes and threads11
3Concurrent execution37
4Shared objects and mutual exclusion63
5Monitors and condition synchronization79
6Deadlock107
7Safety and liveness properties123
8Model-based design159
9Dynamic systems183
10Message passing209
11Concurrent architectures237
12Timed systems277
13Program verification319
14Logical properties345
App. AFSP quick reference367
App. BFSP language specification371
App. CFSP semantics389
App. DUML class diagrams399


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Concurrency: State Models and Java Programs, , Concurrency: State Models and Java Programs

X
WonderClub Home

This item is in your Collection

Concurrency: State Models and Java Programs, , Concurrency: State Models and Java Programs

Concurrency: State Models and Java Programs

X
WonderClub Home

This Item is in Your Inventory

Concurrency: State Models and Java Programs, , Concurrency: State Models and Java Programs

Concurrency: State Models and Java Programs

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: