000 00399nam a2200169Ia 4500
999 _c1678
_d1678
003 OSt
005 20230124143638.0
008 211228s9999||||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 _cBK
_2ddc