000 00328nam a22001337a 4500
008 170803b xxu||||| |||| 00| 0 eng d
020 _a3853208266
041 _aeng
080 _a004
100 _a32
101 _aSHK
245 _aMETHODEN DES ENTWURFS UND DER VERIFIKATION DIGITALER SYSTEME
_cHAGELAUER,R
942 _2udc
_cBK
999 _c22618
_d22618