Erschienen: 14.08.1991 Abbildung von Baeten / Groote | CONCUR '91 | 1991

Baeten / Groote

CONCUR '91

2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

106,99 €

inkl. Mwst.

1991. Buch. xi, 549 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-54430-2

Format (B x L): 15,5 x 23,3 cm

Gewicht: 1720 g

In englischer Sprache

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 527

Produktbeschreibung

CONCUR'91 is the second international conference on
concurrency theory, organized in association with the NFI
project Transfer. It is a sequel to the CONCUR'90
conference. Its basic aim is to communicate ongoing work in
concurrency theory. This proceedings volume contains 30
papers selected for presentation at the conference (from 71
submitted) together with four invited papers and abstracts
of the other invited papers. The papers are organized into
sections on process algebras, logics and model checking,
applications and specification languages, models and net
theory, design and real-time, tools and probabilities, and
programming languages. The proceedings of CONCUR'90 are
available asVolume 458 of Lecture Notes in Computer
Science.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...