Understanding Z: A specification language and its formal semantics
Spivey J M
Understanding Z: A specification language and its formal semantics - Cambridge CUP 1988 - 131p. cm. - Cambridge Tracts in Theoretical Computer Science; 3 .
44254
Textual
Computer programming language
Computer science
D65,8(B)92Z, M8
Understanding Z: A specification language and its formal semantics - Cambridge CUP 1988 - 131p. cm. - Cambridge Tracts in Theoretical Computer Science; 3 .
44254
Textual
Computer programming language
Computer science
D65,8(B)92Z, M8
