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

ZUM '95: The Z Formal Specification Notation 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.1995

Abbildungen

XIII, 583 p.

Herausgeber

Jonathan P. Bowen + weitere

Verlag

Springer Berlin

Seitenzahl

583

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

890 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60271-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.1995

Abbildungen

XIII, 583 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

583

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

890 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60271-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: ZUM '95: The Z Formal Specification Notation
  • Produktbild: ZUM '95: The Z Formal Specification Notation
  • Language-free mathematical methods for software design extended abstract.- A formal approach to software design: The Clepsydra methodology.- Refining database systems.- Structuring a Z specification to provide a formal framework for autonomous agent systems.- On the use of formal specifications in the design and simulation of artificial neural networks.- Structuring specification in Z to build a unifying framework for hypertext systems.- Mechanizing formal methods: Opportunities and challenges.- An algebraic proof in VDM ?.- Testing as abstraction.- Improving software tests using Z Specifications.- Compilation of Z specifications into C for automatic test result evaluation.- Equal rights for schemas in Z.- Structuring Z specifications: Some choices.- Experiments with the Z interchange format and SGML.- The future of industrial formal methods.- Specifications and their use in defining subtypes.- How firing conditions help inheritance.- Extending W for Object-Z.- A formal semantics for a language with type extension.- From Z to code: A graphical user interface for a radiation therapy machine.- The French population census for 1990.- Implementing Z in Isabelle.- The Z-into-Haskell tool-kit: An illustrative case study.- Types and sets in Gödel and Z.- Exploring specifications with Mathematica.- Using Z to rigorously review a specification of a Network Management System.- A two-dimensional view of integrated formal and informal specification techniques.- Viewpoints and objects.- Teaching programming as engineering.- A course on formal methods in software engineering: Matching requirements with design.- Hints for writing specifications.- Mental models of Z: I — Sets and logic.- Equational logic: A great pedagogical tool for teaching a skill in logic.- Z Browser — Toolfor visualisation of Z specifications.- Select Z bibliography.- Comp.specification.z and Z forum frequently asked questions.