000 00538nam a2200229Ia 4500
008 181205s9999 xx 000 0 und d
020 _a1-85032-230-9
100 _aBowen (Jonathan)
100 _eAUTHOR
245 0 _aFormal Specification And Documentation Using Z : Case Study Approach
260 _c1996
260 _cInternational Thomson Computer Press
300 _bPAPER PACK
300 _ePAPER BACK
300 _gNO
365 _b0
365 _b180
365 _d1
504 _a20
942 _cBK
999 _c22129
_d22129