| 000 | 01213nam a22003017a 4500 | ||
|---|---|---|---|
| 001 | sulbI000013 | ||
| 003 | BD-SySUS | ||
| 005 | 20160524173248.0 | ||
| 008 | 160524s2000 nyu a|||b|||| 001 0 eng d | ||
| 020 | _a9783540677703 | ||
| 020 | _a3540677704 | ||
| 035 | _a(OCoLC)ocm71247056 | ||
| 040 |
_aOL$ _cOL$ _dBAKER _dNDD _dC$Q _dIXA _dYDXCP _dBTCTA _dLVB _dBD-SySUS |
||
| 082 | 0 | 4 |
_a004.24 _222 _bCOM |
| 111 | 2 |
_aCAV (Conference) _n(18th : _d2006 : _cSeattle, Wash.) _925599 |
|
| 245 | 1 | 0 |
_aComputer aided verification : _b12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings / _cEditors:E. Allen Emerson, A. Prasad Sistla |
| 260 |
_aNew York : _bSpringer, _cc2000. |
||
| 300 |
_ax, 582p. : _bill. ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 530 | _aAlso issued online. | ||
| 650 | 0 |
_aComputer software _xVerification _vCongresses. _925600 |
|
| 650 | 0 |
_aIntegrated circuits _xVerification _vCongresses. _925601 |
|
| 650 | 6 |
_aCircuits int�egr�es _xV�erification _vCongr�es. _925602 |
|
| 650 | 6 |
_aLogiciels _xV�erification _vCongr�es. _925603 |
|
| 700 | 1 |
_aEmerson, E. Allen, _924230 |
|
| 700 | 1 |
_a Sistla, A. Prasad _924232 |
|
| 942 |
_2ddc _cBK |
||
| 999 |
_c61001 _d61001 |
||