| 000 | 00536nam a22001817a 4500 | ||
|---|---|---|---|
| 003 | CEME | ||
| 005 | 20210628203235.0 | ||
| 008 | 210118b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0-07-144372-X | ||
| 040 | _cceme | ||
| 082 | _a621.3815 PER | ||
| 100 |
_aPerry, Douglas L, Foster, Harry D _964211 |
||
| 245 | _aApplied formal verification | ||
| 260 |
_aNEW YORK _bMCGRAW HILL _c2005 |
||
| 300 | _aXIV,237 P | ||
| 650 |
_aAPPLIED FORMAL VERIFICATION.SIMULATION BASED VERIFICATION.SYSTEM LEVEL SIMULATION _964212 |
||
| 942 |
_cBK _2ddc |
||
| 999 |
_c572787 _d572787 |
||