000 00591pam a2200205a 44500
003 OSt
005 20220201121217.0
008 160408b1986 xxu||||| |||| 00| 0 eng d
040 _cIIT Kanpur
041 _aeng
082 _a001.6425
_bSo23
245 1 _aSOFTWARE SPECIFICATION TECHNIQUES
260 _aWokingham
_bAddison-Wesley
_c1986
300 _axii, 477p
440 _aInternational Computer Science Series
650 _aComputer Programs -- Specifications -- Addresses, Essays, Lectures
700 _aGehani, Narain [ed.]
700 _aMcgettrick, Andrew [ed.]
942 _cBK
999 _c280442
_d280442