000 00493nam a2200157Ia 4500
008 241217s9999||||xx |||||||||||||| ||und||
020 _a9780134787022
_c50.95
040 _beng
_cSSK Library
_erda
082 _a005.12 POT
100 _a Ben Potter, Jane Sinclair & David Till -
245 3 _aAn Introduction To Formal Specification And Z
260 _b Prentice Hall International (Uk) Ltd.
_c©1991
942 _2Dewey Decimal Classification
_cBOOK
_nNo
999 _c25650
_d25650
003 OSt
005 20241217112955.0