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