Understanding Z: A Specification Language and its Formal Semantics

Buch Details

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.

Lesen Sie mehr

Autor/in J. M. (University Of Oxford) Spivey
ISBN13 9780521054140
ISBN10 0521054141
Buchseiten 140
Jahr der Ausgabe 2008
Fecha de publicación 21/01/2008
Sprache Deutsch, Französisch

Lesen Sie mehr

Rezensionen und Bewertungen

Sei die erste Person, die es bewertet!

Hast du gelesen Understanding Z: A Specification Language and its Formal Semantics?

Understanding Z: A Specification Language and its Formal Semantics (Deutsch, Französisch)

Name: Understanding Z: A Specification Language and its Formal Semantics
Price: 44.46 EUR
Availability: OutOfStock
ISBN: 9780521054140