| 000 | 00643cam a22002177a 4500 | ||
|---|---|---|---|
| 999 |
_c68818 _d68815 |
||
| 003 | PK-NaQUE | ||
| 005 | 20250522085623.0 | ||
| 008 | 250522b ||||| |||| 00| 0 eng d | ||
| 020 | _a9789048170791 | ||
| 020 | _a9789048170791 | ||
| 040 | _cQUEST | ||
| 082 | 0 | 0 | _a005.133GAB |
| 100 | _aGabbar, Hossam A. | ||
| 245 | 0 | 0 | _aModern Formal Methods and Applications / |
| 260 |
_aNew York: _bSpringer, _cc2010. |
||
| 300 |
_axxiii, 197 p. : _bill. ; |
||
| 650 | 0 | _aFormal methods (Computer science) | |
| 650 | 0 | _aFormal methods (Computer science) | |
| 856 | 4 | 2 |
_uhttp://10.10.170.122:8080/browse/book/27381 _yDownload eBook |
| 942 |
_cBK _2ddc |
||