Data & IT

Understanding Z

J M Spivey • J M Spivey • Spivey J M

Pocket

629:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Denna produkt går inte att reservera, köp den gärna online!

140 sidor
2008

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.

Författare: J M Spivey, J M Spivey, Spivey J M
Format: Pocket/Paperback
ISBN: 9780521054140
Språk: Engelska
Antal sidor: 140
Utgivningsdatum: 2008-01-21
Förlag: Cambridge University Press