| 000 | 01391nam a2200313 a 4500 | ||
|---|---|---|---|
| 001 | vtls000029349 | ||
| 003 | KUKTEM | ||
| 005 | 20251117145252.0 | ||
| 008 | 080610s2008 njua b 001 0 eng | ||
| 020 | _a0471704490 (cloth) | ||
| 020 | _a9780471704492 (cloth) | ||
| 039 | 9 |
_a201107132058 _bVLOAD _c200908141536 _dVLOAD _c200908141506 _dVLOAD _c200908132038 _dVLOAD _y200806101136 _znorsaini |
|
| 040 | _aUMP | ||
| 090 | _aTK7874.58 .Y64 2008 | ||
| 100 | 1 |
_aYoeli, Michael, _d1917- |
|
| 245 | 1 | 0 |
_aVerification of systems and circuits using LOTOS, Petri Nets, and CCS / _cby Michael Yoeli and Rakefet Kol. |
| 260 |
_aHoboken, N.J. : _bWiley-Interscience, _cc2008. |
||
| 300 |
_axv, 231 p. : _bill. ; _c25 cm. |
||
| 440 | 0 | _aWiley series on parallel and distributed computing | |
| 500 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aIntegrated circuits _xVerification. |
|
| 650 | 0 |
_aComputer software _xVerification. |
|
| 650 | 0 | _aLOTOS (Computer program language) | |
| 650 | 0 | _aPetri nets. | |
| 700 | 1 | _aKol, Rakefet. | |
| 856 | 4 | 1 |
_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0826/2007033487-t.html |
| 856 | 4 | 2 |
_3Contributor biographical information _uhttp://www.loc.gov/catdir/enhancements/fy0809/2007033487-b.html |
| 999 |
_aVIRTUA40 _c42767 _d42773 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*4400*5000*6500*6501*6502*6503*7000*8560*8561*9991 | ||