Produktbild
Jaco W. de (Hrsg.) Bakker

Stepwise Refinement of Distributed Systems

Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

Buch

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between co… Mehr

CHF 179.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-52559-2
  • EAN: 9783540525592
  • Produktnummer: 3498591
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1990
  • Seitenangabe: 824 S.
  • Masse: H23.5 cm x B15.5 cm x D4.3 cm 1'223 g
  • Auflage: 1990
  • Abbildungen: Paperback
  • Gewicht: 1223

Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.