Concurrency: State Models and Java Programs offers a modern and comprehensive exploration of concurrent programming. Recognizing that writing concurrent code requires a more rigorous approach than sequential programming, Jeff Magee and Jeff Kramer break the subject down into clear, engaging segments. Through informal descriptions, illustrative examples, abstract state models, and concrete Java implementations, the book reveals recurring problem patterns and effective solution techniques that help readers understand and solve the challenges typical in concurrent systems. This second edition, published in 2006 by John Wiley & Sons Inc, enriches the learning experience with new chapters on program verification and logical properties, as well as additional exercises designed to deepen comprehension. A companion website further supplements the material by offering updated tools for modeling concurrency, including model animation and checking, along with a complete collection of state models, Java examples, demonstration programs, and comprehensive slides for course presentations.
Studiesalg.dk er en markedsplads hvor studerende i hele landet kan handle direkte med
hinanden.
Vores betalingsystem sikrer, at du både som køber og sælger er beskyttet, i alt lige fra
betaling, forsendelse og godkendelse af bøgerne.
Vi kræver MitID verificering af både sælger og køber. Dette er med til at sikre begge parter en god oplevelse og undgå svindel af enhver art.
Betal online med MobilePay. Vi opbevarer betalingen, og udbetaler først pengene til sælger når bøgerne er leveret og godkendt.
Sælg nemt dine bøger videre når du ikke længere har brug for dem. Med vores web-app er det nemt at scanne stregkoder og tage billeder af dine bøger.