LEADER 00000nam 2200205 a 4500
001 0971199
007 t
008 000610 2 1988 000 eng
020 0521334292
040 CURLBL
050 4 QA 76.73 Z2 S7
100 0 Spivey, J. Michael.
245 00 Understanding Z :|ba specification language and its formal
semantics.
260 Cambridge :|bCambridge University Press,|c1988.
300 131p.
440 0 Cambridge tracts in theoretical computer science ;|vv.3
650 0 Z (Computer program language)
|