KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: ZUM '98: The Z Formal Specification Notation
  • Produktbild: ZUM '98: The Z Formal Specification Notation
Band 1493

ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.09.1998

Abbildungen

XVI, 424 p.

Herausgeber

Jonathan P. Bowen + weitere

Verlag

Springer Berlin

Seitenzahl

424

Maße (L/B/H)

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

Gewicht

663 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65070-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.09.1998

Abbildungen

XVI, 424 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

424

Maße (L/B/H)

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

Gewicht

663 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65070-6

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: ZUM '98: The Z Formal Specification Notation
  • Produktbild: ZUM '98: The Z Formal Specification Notation
  • Industrial Issues.- Industrial Requirements for the Efficient Development of Reliable Embedded Systems.- Concurrency.- How to Combine Z with a Process Algebra.- The Specification and Refinement of an Environmental Model.- Formal Derivation of Finite State Machines for Class Testing.- Tools.- Using B to Specify, Verify and Design Hardware Circuits.- Z on the Web Using Java.- Visualizing Z Notation in HTML Documents.- Z and HOL.- On the Semantic Relation of Z and HOL.- HOL-Z in the UniForM-Workbench – A Case Study in Tool Integration for Z.- Safety-Critical and Real-Time Systems.- Designing a Requirements Specification Language for Reactive Systems.- Analyzing a Real-Time Program with Z.- Semantic Theory.- Recursive Definitions in Z.- A Logic for the Schema Calculus.- Theory and Standards.- Combining Specification Techniques for Processes, Data and Time.- Innovations in the Notation of Standard Z.- Reasoning and Consistency Issues.- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space.- Inconsistency and Undefinedness in Z – A Practical Guide.- Refinement.- Compositional Specification of Controllers for Batch Process Operations.- Testing Refinements by Refining Tests.- More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement.- Object Orientation.- Network Topology and a Case Study in TCOZ.- Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO.- Translating the OMT Dynamic Model into Object-Z.- Appendices.- Select Z Bibliography.- Comp.specification.z and Z FORUM Frequently Asked Questions.