| 000 | 00529nam a2200193 a 4500 | ||
|---|---|---|---|
| 001 | 1764151737412 | ||
| 003 | ACL | ||
| 005 | 20251126154057.0 | ||
| 008 | 251126s2002##################000#0#eng## | ||
| 020 | _a9781402071034 | ||
| 082 | 0 | 4 |
_a621.395 _bJON |
| 100 | 1 |
_aJones, Robert B., _eauthor. |
|
| 245 | 1 | 0 | _aSymbolic Simulation Methods for Industrial Formal Verification : |
| 260 |
_bSpringer Science & Business Media, _c2002. |
||
| 300 | _a180 pages | ||
| 650 | 0 | _aComputers. | |
| 942 | _cENGLISH | ||
| 040 |
_aACL _beng _cACL |
||
| 999 |
_c598956 _d598956 |
||