Jeff Magee, Jeff Kramer

Concurrency

State Models & Java Programs

• Gebundenes Buch

Produktbeschreibung

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.

---

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Worldwide Series in Computer Science
• Verlag: Wiley & Sons
• Artikelnr. des Verlages: 14509355000
• 2. Aufl.
• Seitenzahl: 432
• Erscheinungstermin: 1. Juni 2006
• Englisch
• Abmessung: 245mm x 197mm x 32mm
• Gewicht: 1020g
• ISBN-13: 9780470093559
• ISBN-10: 0470093552
• Artikelnr.: 08045994

Autorenporträt

Jeff Magee and Jeff Kramer are both of Imperial College of Science, Technology and Medicine, London, UK

Inhaltsangabe

Preface Acknowledgments 1 Introduction 2 Processes and Threads 3 Concurrent
Execution 4 Shared Objects and Mutual Exclusion 5 Monitors and Condition
Synchronization 6 Deadlock 7 Safety and Liveness Properties 8 Model-Based
Design 9 Dynamic Systems 10 Message Passing 11 Concurrent Architectures 12
Timed Systems 13 Program Verification 14 Logical Properties Appendix A FSP
Quick Reference Appendix B FSP Language Specification Appendix C FSP
Semantics Appendix D UML Class Diagrams Bibliography Index

Rezensionen

..."this well written book [...] will be useful to those designing distributed systems" --Computing Reviews, June 2000