| 000 | 00559 a2200157 4500 | ||
|---|---|---|---|
| 005 | 20250701104217.0 | ||
| 020 | _a978-1402042225 | ||
| 082 |
_a005.13 _bGAB-M |
||
| 245 | _aModern Formal Methods and Applications / | ||
| 260 |
_aNotherland: _bSpringer, _c2006. |
||
| 300 |
_axxiii, 197p _c20.5 x 27 cm |
||
| 500 | _aIncludes index. | ||
| 650 | _aThis book will be helpful for both beginners and experts to get insights and experience on modern formal methods by viewing real applications from different domains. | ||
| 700 | _aGabbar, Hossam A. | ||
| 942 | _cBK | ||
| 999 |
_c35251 _d35251 |
||