Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 06.07.2026 auf fremdsprachige Bücher online auf thalia.at, in der Thalia App ab einem Mindestbestellwert von 30€ und in allen Thalia Buchhandlungen in Österreich. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Ifm’99
  • Produktbild: Ifm’99

Ifm’99 Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999

99,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.06.1999

Herausgeber

Keijiro Araki + weitere

Verlag

Springer London

Seitenzahl

477

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

744 g

Auflage

1st Edition

Sprache

Englisch

ISBN

978-1-85233-107-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.06.1999

Herausgeber

Verlag

Springer London

Seitenzahl

477

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

744 g

Auflage

1st Edition

Sprache

Englisch

ISBN

978-1-85233-107-8

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: Ifm’99
  • Produktbild: Ifm’99
  • Invited Talks.- A Common Framework for Mixed Hardware/Software Systems.- Proof Systems for Message-Passing Process Calculi (abstract only).- Z/Object-Z + CSP + Real Time.- RT-Z : An Integration of Z and timed CSP.- Towards Real-Time Object-Z.- Overview of the Semantics of TCOZ.- Temporal Logic.- Modular Verification of Dynamic Properties for Reactive Systems.- Modular Formal Specification of Data and Behaviour.- Integration Problems in Telephone Feature Requirements.- Z/Object Z + Behaviour 1.- The Refinement of Event Calculus Models.- Modelling Discrete Behaviour in a Continuous-Time Formalism.- An Object Semantic Model of SOFL.- State Charts.- A Modular Framework for the Integration of Heterogeneous Notations and Tools.- An Approach to the Combination of Formal Description Techniques:State charts and TLA.- Semantic Models & Refinement.- A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems.- On the Refmement and Simulation of Data Types and Processes.- Specifying Component and Context Specification Using Promotion.- Z/Object Z + Behaviour 2.- Model-Checking CSP-OZ Specifications with FDR.- Specifying Interactive Systems in Object-Z and CSP.- Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication.- (Abstract + Action) Systems.- Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development.- Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines ... and to Abstract Systems.- Reactive System Refinement of Distributed Systems in B.- The B Method: Behaviour and Retrenchment.- Using a Process Algebra to Control B OPERATIONS.- Retrenchment and Punctured Simulation.- Author Index.