| 000 | 01196cam a2200325 i 4500 | ||
|---|---|---|---|
| 001 | u88687 | ||
| 003 | SIRSI | ||
| 005 | 20240619145152.0 | ||
| 008 | 110131 eng | ||
| 020 | _a0123706165 | ||
| 020 | _a9780123706164 | ||
| 050 |
_aTK7895.E42 _b.F84 2008 |
||
| 100 | 1 |
_aFujita, Masahiro. , _eauthor _9201170 |
|
| 245 | 1 | 0 |
_aVerification techniques for system-level design / _cMasahiro Fujita, Indradeep Ghosh, Mukul Prasad. |
| 264 | 1 |
_aBurlington, MA : _bMorgan Kaufmann, _c2008. |
|
| 300 |
_aviii, 240 pages : _billustrations ; _c25 cm. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 490 | 1 | _aThe Morgan Kaufmann series in systems on silicon | |
| 596 | _a1 3 | ||
| 650 | 0 |
_aSystems on a chip _xTesting. _958524 |
|
| 650 | 0 |
_aIntegrated circuits _xVerification. _93085 |
|
| 650 | 0 |
_aFormal methods (Computer science). _938711 |
|
| 700 | 1 |
_aGhosh, Indradeep. _9201171 |
|
| 700 | 1 |
_aPrasad, Mukul. _9201172 |
|
| 907 |
_a.b10163633 _b07-11-22 _c15-03-18 |
||
| 998 |
_am _b06-11-22 _cm _da _e- _feng _g _h0 |
||
| 999 |
_c9514 _d9514 |
||