000 00000nam a2200000 a 4500
005 20251202164318.0
100 _aGehani,Narain
245 _aSoftware Specification Techniques
260 _aAddison Wesley
_c1986
300 _a477p
690 _aComputer Science
700 _aAndrew,
964 _b
_c
_d
_e
_f
_g_
997 _a8433 C
999 _c7176
_d7176