000 00391nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a354020894
082 _a621.3819642 P495
100 _aPETRENKO,A
245 0 _aFORMAL APPROACHES TO SOFTWARE TESTING THIRD INTERNATIONAL WORKSHOP ON FORMAL APP
260 _aBERLIN
_bSpringer
_c2004
300 _aviii+266p.,23X15Cms>
942 _cBK
_2DDC
999 _c31916
_d31916