Concurrency: State Models and Java Programs, 2nd Edition (No Longer Used)

by Jeff Kramer (Author), Jeff Magee (Author)

• New

  Hardcover
  2006

  $75.31

  Concurrency provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. In order to develop a thorough understanding of the topic Magee and Kramer present concepts, techniques and problems through a variety of forms: informal descriptions, illustrative examples, abstract models and concrete Java examples. These combine to provide problem patterns and associated solution techniques which enable students to recognise problems and arrive at solutions. New features include: * 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.

• Used

  Hardcover
  2005

  $6.90

  Concurrency is an area of software design that is vital in a wide range of applications where responsiveness are issues. They are especially important in the development of control systems. By their nature, concurrent programs are more complex, and therefore more difficult to reason than sequential programs. In order to ensure a thorough understanding of concurrency, concepts, techniques and problems are presented in many forms, through informal descriptions and illustrative examples, abstractly in models, and concretely in Java.