Understanding Z : a specification language and its formal semantics

J. M. Spivey
Bok · Språk ikke angitt · 1988

Utgitt	Cambridge : Cambridge University Press , 1988
Omfang	viii, 131 s.
Emner	Formell semantikk Spesifikasjonsspråk : (NO-TrBIB)REAL000626 Z-notasjon Zspråk
ISBN	0521334292