000			00409nam a2200145Ia 4500
008			211229s9999||||xx |||||||||||||| ||und||
020			_a9781402042225
040			_cFCIT
041			_aENG
082			_a005.131 _bGAB
100			_aGabbar, Hossam A
245		0	_aModern Formal Methods and Applications
260			_aUK _bSpringer _c2006
942			_cBook
999			_c12100 _d12100