| 000 | 00797nam a2200217 a 4500 | ||
|---|---|---|---|
| 001 | vtls000015933 | ||
| 003 | KUKTEM | ||
| 005 | 20251117144159.0 | ||
| 008 | 061002 000 0 eng d | ||
| 020 | _a1402042221 | ||
| 039 | 9 |
_a201107131843 _bVLOAD _c200908141236 _dVLOAD _c200908141209 _dVLOAD _c200908131637 _dVLOAD _y200610021425 _zkam |
|
| 040 | _aUMP | ||
| 090 | _aQA76.9.F67 M63 2006 | ||
| 245 | 0 | 0 |
_aModern formal methods and appilcations / _cedited by Hossam A. Gabbar |
| 260 |
_aDordrecht : _bSpringer, _c2006 |
||
| 300 |
_a197 p. : _bill. ; _c25 cm. |
||
| 650 | 0 | _aFormal methods (Computer science) | |
| 650 | 0 |
_aFormal methods (Computer science) _xIndustrial applications |
|
| 700 | 1 | _aGabbar, Hossam A. | |
| 999 |
_aVIRTUA40 _c31002 _d31008 |
||
| 999 | _aVTLSSORT0080*0200*0900*2450*2600*3000*6500*6501*7000*9991 | ||