Erschienen: 29.04.1993 Abbildung von Bakker / Roever / Rozenberg | Semantics: Foundations and Applications | 1993

Bakker / Roever / Rozenberg

Semantics: Foundations and Applications

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

123,04 €

inkl. Mwst.

1993. Buch. IX, 667 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-56596-3

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

Gewicht: 2070 g

In englischer Sprache

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

Produktbeschreibung

Researchers working on the semantics of programming
languages came together in The Netherlands in June 1992 for
a workshop on Semantics - Foundations and Applications. This
volume is based on the meeting and contains material
prepared by the lecturers after the meeting took place. The
volume includes papers on a wide range of topics in both
foundationsand applications, including:

- Comparative domain theory, category theory, information
systems,
- Concurrency: process algebras, asynchronous communication,
action semantics, trace nets, process refinement, concurrent
constraint programming,
- Predicate transformers, refinement,weakest preconditions,
- Comparative semantics of programming concepts, full
abstraction,
- Reasoning about programs: total correctness, epistemic
logic,
- Logic programming,
- Functional programming: sequentiality, integration with
concurrency, applied structured operational semantics.
The workshop was an activity of the project REX (Research
andEducation in Concurrent Systems) sponsored by the
Netherlands NFI (NationaleFaciliteit Informatica)
Programme.

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 ...