Concurrency: State Models & Java Programs
Book information
Description
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 Chapter and coverage of Verification. * More student exercises. * Totally updated version of the LTSA tool packaged with the book which makes it easier to use and extends its capabilities.
Similar books
Concurrency: State Models & Java Programs
2006 · PDF
Concurrency: State Models & Java Programs
1999 · PDF
Introduction To Digital Humanism: A Textbook
2024 · PDF
Hacking the Kinect
2012 · PDF
Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings
1999 · PDF
Hacking the Kinect
2012 · PDF
Hacking the Kinect
2012 · EPUB
Hacking the Kinect
2012 · PDF