000			00586nam a2200193Ia 4500
008			131223s9999 xx 000 0 und d
040			_aISI KOLKATA
041			_aEnglish
082			_a005.1 _bB626
245			_aFormal methods in programming and their applications
260			_aBerlin _bSpringer Verlag _c1993
300			_aix,434p
440			_aLecture notes in computer science, v 735
500			_aProceedings of an International Conference held in russia in 1993
650			_aComputer programming
650			_aFormal methods
700			_aBjorner Dines _4ed.
942			_cBK
999			_c9207 _d9207