| 000 | 00447nam a22001697a 4500 | ||
|---|---|---|---|
| 005 | 20250218230802.0 | ||
| 008 | 250218b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9781639896905 | ||
| 041 | _aeng | ||
| 082 | _a005.14 | ||
| 245 | _aNew paradigms in computer aided verification | ||
| 260 |
_aU.S.A _bStates _c2023 |
||
| 300 | _a250p. | ||
| 650 |
_aComputer programming, programs & data _918053 |
||
| 700 |
_aKeating, Tyler _919252 |
||
| 942 | _cBK | ||
| 999 |
_c30698 _d30698 |
||