000 00579 a2200277 4500
001 68597
020 _a0-13-478702-112
041 _aeng
080 _a681.3.06 Pot
245 _aIntroduction to formal specification and Z
250 _a
260 _a
260 _bNew York : Prentice-Hall, 1991
260 _c1991
300 _axiii,304 p.
300 _c23.5 cm
490 _a
100 _aPotter, Ben
700 _aSinclair, Jane
700 _aTill, David
700 _a
650 _a
650 _aZ (Computer program language)
942 _cBK
942 _2UDC
999 _c53456
_d53456