000 00332nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a978012374014
082 _a620.0011 G732
100 _aGRADY J O
245 0 _aSYSTEM VERIFICATION
260 _aAmsterdam
_bElsevier
_c2007
300 _axxvii+337p., 22X16cm
942 _cBK
_2DDC
999 _c33269
_d33269