| 000 | 00612nam a22002057a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20250423175454.0 | ||
| 008 | 250423b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9781647265861 | ||
| 028 |
_bSouthern Book Sellers _c201 _d05/03/2025 |
||
| 040 | _cSJCLIB | ||
| 100 |
_aDean Jordan _9172338 |
||
| 245 | _aComputer Aided Verification Techniques and Applications | ||
| 260 |
_aUSA _bClanrye International, _c2023. |
||
| 300 | _a239. | ||
| 518 | _a23/04/2025 | ||
| 600 |
_tComputer Science and applications _9172331 |
||
| 650 |
_aComputer Science and applications _9172332 |
||
| 942 |
_2ddc _cREF |
||
| 999 |
_c159920 _d159920 |
||