Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 12.08.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Formal Systems Specification
  • Produktbild: Formal Systems Specification
Band 1169

Formal Systems Specification The RPC-Memory Specification Case Study

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.11.1996

Herausgeber

Manfred Broy + weitere

Verlag

Springer Berlin

Seitenzahl

543

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

855 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61984-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.11.1996

Herausgeber

Verlag

Springer Berlin

Seitenzahl

543

Maße (L/B/H)

23,5/15,5/3 cm

Gewicht

855 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61984-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Formal Systems Specification
  • Produktbild: Formal Systems Specification
  • The RPC-memory specification problem problem statement.- The RPC-memory case study: A synopsis.- A TLA solution to the RPC-memory specification problem.- A dynamic specification of the RPC-memory problem.- A memory module specification using composable high-level petri nets.- Constraint oriented temporal logic specification.- A functional solution to the RPC-memory specification problem.- A solution relying on the model checking of boolean transition systems.- Applying a temporal logic to the RPC-memory specification problem.- Using PVS for an assertional verification of the RPC-memory specification problem.- Specification and verification using a visual formalism on top of temporal logic.- A case study in verification based on trace abstractions.- Incremental specification with joint actions: The RPC-memory specification problem.- The methodology of modal constraints.- Tackling the RPC-memory specification problem with I/O automata.- Using relations on streams to solve the RPC-memory specification problem.- The RPC-memory specification problem: UNITY + refinement calculus.