000 00553nam a2200193Ia 4500
001 16958
003 AVIT
005 20211120082150.0
008 180920s2006 ||||||||||||||||| ||und|d
020 _cINR 771.00
024 _2[Excel file from AVIT]
_a36721
_qserial no
040 _aAVIT
_cIN-KoLT
100 _aBOWEN,JONATHAN
_eaut
245 0 _aFORMAL SPECIFICATION AND DOUMENTATION USING 2.1 CASE STUDY APPROACH
_cBOWEN,JONATHAN
260 _bTHOMSON PUB
650 _aComputer Science
653 _aUSING 2.1 CASE STUDY APPROACH
942 _2dcc
_cBK
999 _c72666
_d72666