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 |