Concurrency provides an approach completely updated for the concepts & basic techniques behind the concurrent programming. Programming time-sharing is complex & requires an approach much more formal than the sequential programming. In order to develop a thorough comprehension of the Magee subject & current concepts Kramer, techniques & problems through a variety of forms: abstract descriptions, of the examples, the abstract models & concrete Java examples. These models combine to offer problem & the technical solutions which make it possible to the students to recognize the problems & to arrive to solutions. The new functionalities include/understand: * New chapters relating to the checking of programs & 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 & the checking of model. * The Web site also includes/understands l' together models d' State, of the Java examples, & the demonstration programs & a series supplements slides for the presentation of course.

free download ofs

http://rapidshare.com/files/253075889/BR-0406-CSMJP.rar