000 00346nam a2200145Ia 4500
001 15169
008 150525s9999 xx 000 0 und d
020 _a0-333-76327-0
100 _a
245 _aFormal Specification Using Z
250 _a0
260 _aNew York
_bPalgrave
_c2001
300 _a,;ill.
650 _aZ (Computer Program Language)
999 _c50726
_d50726