| 000 | 00852cam a22002294a 4500 | ||
|---|---|---|---|
| 005 | 20250629150624.0 | ||
| 008 | 001017s2001 maua b 001 0 eng | ||
| 020 | _a079237262X (alk. paper) | ||
| 082 | 0 | 0 |
_a004.16 _bHSI |
| 100 | 1 | _aHsieh, Harry | |
| 245 | 1 | 0 |
_aSynchronous Equivalence _b: formal methods for embedded systems _cHarry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli |
| 260 |
_aBoston _bKluwer Academic Publishers _c2001 |
||
| 300 |
_ax, 136 p _bill. _c25 cm |
||
| 504 | _aBib and Ref | ||
| 650 | 0 | _aEmbedded computer systems. | |
| 650 | 0 | _aFormal methods (Computer science) | |
| 700 | 1 | _aBalarin, Felice. | |
| 700 | 1 | _aSangiovanni-Vincentelli, Alberto. | |
| 856 | 4 | 2 | _uhttp://www.loc.gov/catdir/enhancements/fy0820/00051457-d.html |
| 856 | 4 | 1 | _uhttp://www.loc.gov/catdir/enhancements/fy0820/00051457-t.html |
| 942 | _cREF | ||
| 999 |
_c574271 _d574271 |
||