Concurrency: State Models and Java Programs 2e

Concurrency: State Models and Java Programs 2e
\n\n

Concurrency: State Models and Java Programs 2e Description

\n\n

Concurrency supplies a thoroughly updated approach to concepts and fundamental techniques behind concurrent programming. Concurrent programming is complex and demands a more formal approach than sequential programming. To develop a thorough knowledge of the subject Magee and Kramer present concepts, strategies and problems by way of a selection of forms: informal descriptions, examples, abstract models and concrete examples of Java. These factors combine to provide dilemma and technological solutions that enable students to identify difficulties and propose solutions.New features: New chapters on program verification and logical web site student properties.Far more exercises.Supporting contains an updated version day of the LTSA tool for competition modeling, animation and model checking.Internet site model includes the full set of state models, such as Java, and demonstration and a full set of overheads for the course in question Concurrency: State Models and Java Programs 2e

\n\nConcurrency: State Models and Java Programs 2e Ebook

Leave a comment