Wiley Publishers Since 1807   Shopping Cart  Shopping Cart  My Account  Help  Contact Us  
Home Technology Solutions Who's My Rep About Wiley
 
Product Search
Home > Engineering and Computer Science > Computer Science > System Analysis And Design
Concurrency: State Models and Java Programs, 2nd Edition
Concurrency: State Models and Java Programs, 2nd Edition
Jeff Magee, Imperial College, UK
Jeff Kramer, mperial College, UK
ISBN: 978-0-470-09355-9
©2006
434 pages
INSTRUCTORS
STUDENTS
TITLE INFORMATION
Description  |  Author Info  |  Table of Contents  |  Detailed Contents  |  New to This Edition  |  Hallmark Features  |  Sample Chapters  |  Professor Reviews  |  Supplements
New to This Edition
  • 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.
 

Printer-ready version of this page E-mail a friend about this product

Copyright © 2000-2008 by John Wiley & Sons, Inc. or related companies. All rights reserved. Please read our Privacy Policy