000 00321nam a2200109Ia 4500
008 160523s9999 xx 000 0 und d
020 _a978-0-521-80814-9
100 _aTennent, R. D.
245 _aSpecifying Software: A Hands-on introduction
260 _aCambridge
_bCambridge University Press
_c2001
300 _axii, 289p.
999 _c30902
_d30902