Produktbild
Jacobus W. de (Hrsg.) Bakker

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Buch

This volume is based on the School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of thes… Mehr

CHF 165.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Roever, Willem-Paul de (Hrsg.) / Rozenberg, Grzegorz (Hrsg.)
  • ISBN: 978-3-540-51080-2
  • EAN: 9783540510802
  • Produktnummer: 3498580
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1989
  • Seitenangabe: 728 S.
  • Masse: H23.5 cm x B15.5 cm x D3.8 cm 1'083 g
  • Auflage: 1989
  • Abbildungen: Paperback
  • Gewicht: 1083

3 weitere Werke von Jacobus W. de (Hrsg.) Bakker:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.