Jeff Magee: Concurrency | Buch

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9780470093559 | Concurrency | State Models & Java Programs | Jeff Magee (u. a.) | Buch

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

109,50 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

'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:
* threads and interaction
* interference, exclusion and synchronization
* deadlock, safety and liveness properties
* message passing
* concurrent software architectures
* dynamic and timed systems.

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 den Autor

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

Inhaltsverzeichnis

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

Erscheinungsjahr:	2006
Fachbereich:	Datenkommunikation, Netze & Mailboxen
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Seiten:	432
Inhalt:	434 S.
ISBN-13:	9780470093559
ISBN-10:	0470093552
Sprache:	Englisch
Herstellernummer:	14509355000
Einband:	Gebunden
Autor:	Magee, Jeff Kramer, Jeff
Auflage:	2nd edition
Hersteller:	Wiley John Wiley & Sons
Maße:	245 x 197 x 32 mm
Von/Mit:	Jeff Magee (u. a.)
Erscheinungsdatum:	01.06.2006
Gewicht:	0,973 kg

Ähnliche Produkte