000 00644nam a2200253Ia 4500
003 OSt
005 20220912151210.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a48508
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B)92, M21
100 _aLewis TG
245 0 _cLewis TG
_aSoftware engineering: Analysis and verification
260 _c1982
300 _avii,470p.
_ccm. ill.
500 _aIncludes bibliography
650 _aComputer science
942 _hD65,8(B)92, M21
_cTEXL
_2CC
999 _c63464
_d63464