000 00400nam a22001335a 4500
001 000268972
005 20190422164347.0
008 960312s1996 nyu 000 0 eng
020 _a0412716208
040 _aDLC
_cDLC
245 0 0 _aProtect specification, testing and verification XV /
_cP. Dembinski, M. Sredniaiva, editors.
260 _aNew York :
_bChapman & Hall,
_c1996.
300 _a455 p.
_ccm.
999 _c223122
_d223122