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 recognize the problems and arrive at solutions.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Jeff Magee and Jeff Kramer are both of Imperial College of Science, Technology and Medicine, London, UK
‘I love this book! It is beautifully written and the combined FSP/Java approach to model-based development is leading-edge. The supporting materials, including the LTSA software and the lecture slides, are superb.’ (Scott Smolka, SUNY at Stony Brook)
This book provides a systematic and practical approach to designing, analyzing and implementing concurrent programs, using both state models and Java programs to introduce and illustrate key concepts and techniques. Topics covered include:
Established as a key learning resource for computer science graduate and undergraduate students, this second edition includes new coverage of Program Verification and Logical Properties. The accompanying website contains an updated version of the LTSA tool for modeling concurrency, model animation and model checking. The website also includes the full set of state models, Java examples and demonstration programs and a comprehensive series of overhead slides for course presentation.
Ideal for classroom use or self-study, this book provides readers with the means to understand the fundamentals and practice of concurrency.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 4,50 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerEUR 4,62 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerAnbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Artikel-Nr. Z1-E-038-01838
Anzahl: 2 verfügbar
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Artikel-Nr. M00470093552-G
Anzahl: 1 verfügbar
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. FW-9780470093559
Anzahl: 15 verfügbar
Anbieter: moluna, Greven, Deutschland
Gebunden. Zustand: New. Jeff Magee and Jeff Kramer are both of Imperial College of Science, Technology and Medicine, London, UK I love this book! It is beautifully written and the combined FSP/Java approach to model-based development is leading-edge. The supporting materials, . Artikel-Nr. 5917332
Anzahl: Mehr als 20 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9780470093559_new
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - Es ist extrem schwierig, gleichzeitig laufende Programme in den Griff zu bekommen. Dieses Lehrbuch ist ein praktischer Leitfaden, mit dem Studenten Programmiererfahrung sammeln können. Die dazugehörige CD enthält Analysetools zur Modellierung, zur Modellanimation und zur Prüfung von Modelleigenschaften und bietet damit ein motivierendes Lernpaket für einen faszinierenden und anspruchsvollen Bereich des Software-Designs. Darüber hinaus gibt es für Studenten und Dozenten ein komplettes Set Java Beispiele und Demo-Programme, Zustandsmodelle und Overhead-Folien sowie eine Vielzahl nützlicher Beispiele. Artikel-Nr. 9780470093559
Anzahl: 2 verfügbar
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. pp. xviii + 413 Illus. Artikel-Nr. 7521861
Anzahl: 3 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Hardcover. Zustand: Brand New. 2nd edition. 413 pages. 9.50x7.50x1.25 inches. In Stock. Artikel-Nr. __0470093552
Anzahl: 2 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 2006. 2nd Edition. Hardcover. 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. Num Pages: 434 pages, Illustrations (some col.). BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 243 x 190 x 30. Weight in Grams: 986. . . . . . Books ship from the US and Ireland. Artikel-Nr. V9780470093559
Anzahl: Mehr als 20 verfügbar