KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Stepwise Refinement of Distributed Systems
  • Produktbild: Stepwise Refinement of Distributed Systems
Band 430

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.04.1990

Abbildungen

XII, 812 p.

Herausgeber

Jaco W. de Bakker + weitere

Verlag

Springer Berlin

Seitenzahl

812

Maße (L/B/H)

23,5/15,5/4,4 cm

Gewicht

1223 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52559-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.04.1990

Abbildungen

XII, 812 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

812

Maße (L/B/H)

23,5/15,5/4,4 cm

Gewicht

1223 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52559-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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: Stepwise Refinement of Distributed Systems
  • Produktbild: Stepwise Refinement of Distributed Systems
  • Composing specifications.- Refinement calculus, part I: Sequential nondeterministic programs.- Refinement calculus, part II: Parallel and reactive programs.- MetateM: A framework for programming in temporal logic.- Constraint-oriented specification in a constructive formal description technique.- Functional specification of time sensitive communicating systems.- Modular verification of Petri Nets.- Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappings.- Algebraic implementation of objects over objects.- Refinement of actions in causality based models.- Transformation of combined data type and process specifications using projection algebras.- Various simulations and refinements.- On decomposing and refining specifications of distributed systems.- Verifying the correctness of AADL modules using model checking.- Specialization in logic programming: From horn clause logic to prolog and concurrent prolog.- Analysis of discrete event coordination.- Refinement and projection of relational specifications.- Compositional theories based on an operational semantics of contexts.- Multivalued possibilities mappings.- Completeness theorems for automata.- Formal verification of data type refinement — Theory and practice.- From trace specifications to process terms.- Some comments on the assumption-commitment framework for compositional verification of distributed programs.- Refinement of concurrent systems based on local state transformations.- Construction of network protocols by stepwise refinement.- A derivation of a broadcasting protocol using sequentially phased reasoning.- Verifying atomic data types.- Predicates, predicate transformers and refinement.- Foundations of compositional program refinement.