Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Understanding Z

- A Specification Language and its Formal Semantics

Über Understanding Z

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780521054140
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 140
  • Veröffentlicht:
  • 21. Januar 2008
  • Abmessungen:
  • 170x239x8 mm.
  • Gewicht:
  • 234 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Understanding Z

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.

Kund*innenbewertungen von Understanding Z



Ähnliche Bücher finden
Das Buch Understanding Z ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.