Vor Ort
Merkzettel Warenkorb
  • Produktbild: Control Flow and Data Flow: Concepts of Distributed Programming
  • Produktbild: Control Flow and Data Flow: Concepts of Distributed Programming

Control Flow and Data Flow: Concepts of Distributed Programming International Summer School

Aus der Reihe Springer Study Edition

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.1986

Abbildungen

VIII, 525 p. 11 illus.

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

525

Maße (L/B/H)

24,4/17/2,9 cm

Gewicht

914 g

Auflage

1986

Sprache

Englisch

ISBN

978-3-540-17082-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.1986

Abbildungen

VIII, 525 p. 11 illus.

Herausgeber

Manfred Broy

Verlag

Springer Berlin

Seitenzahl

525

Maße (L/B/H)

24,4/17/2,9 cm

Gewicht

914 g

Auflage

1986

Sprache

Englisch

ISBN

978-3-540-17082-2

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: Control Flow and Data Flow: Concepts of Distributed Programming
  • Produktbild: Control Flow and Data Flow: Concepts of Distributed Programming
  • On the Nature of Computing Science.- I. Operational Models of Distributed Systems.- Distributed Systems, Partial Orderings of Events, and Event Structures.- On Mixed Computation: Informal Account of the Strict and Polyvariant Computational Schemes.- II. Abstract Modelling of Distributed Systems.- Notes on Communicating Sequential Processes.- Lectures on a Calculus for Communicating Systems.- Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems.- III. Hardware as Distributed Systems.- The Architecture of Parallel Computers.- Data Flow Computation.- Concurrent Computations and VLSI Circuits.- IV. Design and Verification of Distributed Systems.- Proving Correctness of CSP Programs, a Tutorial.- Real Time Clocks versus Virtual Clocks.- The Image Construction in Computerized Axial Tomography.- Derivation of a Termination Detection Algorithm for Distributed Computations.- The Distributed Snapshot of K. M. Chandy and L. Lamport.- A Simple Fix Point Argument without the Restriction to Continuity.