| 000 | 00667nam a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 120229s9999 xx 000 0 und d | ||
| 020 | _a007144372X | ||
| 082 |
_223rd. _a620.0044 |
||
| 100 | _aPerry, Douglas L. | ||
| 245 |
_aApplied formal verification : simulation-based verification, developing a formal test plan, system-level simulation. _cDouglas L. Perry and Harry D. Foster |
||
| 260 |
_bNewYork _aMcGraw-Hill _c2005 |
||
| 300 |
_axiv,237p.; _c23cm. |
||
| 440 | _aMcGraw-Hill Electronic Engineering | ||
| 650 | _aFormal verification | ||
| 650 | _aDesign engineers--Formal verification | ||
| 700 | _aFoster, Harry D. | ||
| 856 | _uwww.books.mcgraw-hill.com | ||
| 999 |
_c123325 _d123325 |
||