Jeff Magee & Jeff Kramer "Concurrency - State Models & Java Programs, 2nd Edition" July 2006 | English | ISBN : 978-0-470-09356-6 | 432 Pages | CHM | 13.6 MB...
Concurrency provides an approach completely updated for the concepts and basic techniques behind the concurrent programming. Programming time-sharing is complex and requires an approach much more formal than the sequential programming. In order to develop a thorough comprehension of the Magee subject and current concepts Kramer, techniques and problems through a variety of forms: abstract descriptions, of the examples, the abstract models and concrete Java examples. These models combine to offer problem and the technical solutions which make it possible to the students to recognize the problems and to arrive to solutions. The new functionalities include/understand: * New chapters relating to the checking of programs and logical properties. * More d' exercises intended for the students. * Support of Web site contains an updated version of l' tool LTSA for l' competing access of modeling, d' animation of model and the checking of model. * The Web site also includes/understands l' together models d' State, of the Java examples, and the demonstration programs and a series supplements slides for the presentation of course.