000 00394nam a2200169Ia 4500
005 20260507132855.0
008 260506s9999||||xx |||||||||||||| ||und||
020 _a9781852338817
035 _a738
082 _a5.12
_BFIT
100 _aFitzgerald
245 0 _aValidated Designs for Object-oriented Systems
260 _bSpringer
_c2004
300 _a402
500 _a16526
942 _cBK
999 _c27873
_d27873