• Produktbild: Understanding Concurrent Systems
  • Produktbild: Understanding Concurrent Systems

Understanding Concurrent Systems

Fr. 73.90

inkl. gesetzl. MwSt., Versandkostenfrei


Rezension

From the reviews:

“This book is divided into four parts … . Part I is designed for an audience of both undergraduate and graduate computer science students. … Part II is designed for people who are familiar with Part I and have fairly theoretical interests. … Part III is intended for people who … want to be able to use them in a better way, or who are specifically interested in timed systems. Part IV is designed for people who already understand CSP.” (Günther Bauer, Zentralblatt MATH, Vol. 1211, 2011)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2012

Verlag

Springer London

Seitenzahl

530

Maße (L/B/H)

23.5/15.5/3 cm

Gewicht

831 g

Auflage

2010

Originaltitel

Theory and Practice of Concurrency

Sprache

Englisch

ISBN

978-1-4471-2600-3

Rezension

Zitat

From the reviews: "This book is divided into four parts ... . Part I is designed for an audience of both undergraduate and graduate computer science students. ... Part II is designed for people who are familiar with Part I and have fairly theoretical interests. ... Part III is intended for people who ... want to be able to use them in a better way, or who are specifically interested in timed systems. Part IV is designed for people who already understand CSP." (Gunther Bauer, Zentralblatt MATH, Vol. 1211, 2011)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2012

Verlag

Springer London

Seitenzahl

530

Maße (L/B/H)

23.5/15.5/3 cm

Gewicht

831 g

Auflage

2010

Originaltitel

Theory and Practice of Concurrency

Sprache

Englisch

ISBN

978-1-4471-2600-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Understanding Concurrent Systems
  • Produktbild: Understanding Concurrent Systems
  • Part I: A Foundation Course in CSP
    Building a Simple Sequential Process
    Understanding CSP
    Parallel Operators
    CSP Case Studies
    Hiding and Renaming
    Beyond Traces
    Further Operators
    Using FDR
    Part II: Theory
    Operational Semantics
    Denotational Semantics and Behavioural Models
    Finite Observation Models
    Infinite-behaviour Models
    The Algebra of CSP
    Part III: Using CSP
    Timed Systems 1: tock-CSP
    Timed Systems 2: Discrete Timed CSP
    More About FDR
    State Explosion and Parameterised Verification
    Part IV: Exploring Concurrency
    Shared-variable Programs
    Understanding Shared-variable Concurrency
    Priority and Mobility