|
Textbook
Concurrency: State Models and Java Programs, 2nd EditionISBN: 978-0-470-09355-9
Hardcover
432 pages
June 2006, ©2006
 This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 10-15 days delivery time. The book is not returnable.
|
||||||
- New chapters covering program verification and logical properties.
- More student exercises.
- Supporting website contains an updated version of the LTSA tool for modelling concurrency, model animation, and model checking.
- Website also includes the full set of state models, java examples, and demonstration programs and a comprehensive set of overhead slides for course presentation.
Related Titles
Java
Resources for
Instructors
Contact a Wiley Sales Rep
Find Your Rep
Read an Excerpt
.png){kind=small}
Join An E-mail ListLearn about the latest products, events, offers and content. |
