000			00439nam a2200169Ia 4500
008			170106s2011||||xx |||||||||||||| ||und||
020			_a9780857292766
082			_a005.1 _bALA
100			_aAlagar, V.S.
245		0	_aSpecification of software systems
250			_a2nd ed.
260			_aNew York _bSpringer _c2011
300			_axxv, 644p. ; 24cm.
440			_aTexts in computer science
700			_a Periyasamy K.
942			_cBK
999			_c17201 _d17201