| 000 | 00494cam a2200169ua 4500 | ||
|---|---|---|---|
| 008 | 080520t2002||||||||||| 00 ||eng c | ||
| 041 | 0 | _aeng | |
| 082 |
_a620.004 202 85 _bFOR |
||
| 245 | 0 | 0 | _aFormal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings / |
| 250 | _a1st ed. | ||
| 260 |
_aBerlin: _bSpringer, _c2002. |
||
| 300 | _a398p.. | ||
| 362 | 1 | _a2002. | |
| 365 | _epb | ||
| 650 | 0 | _aCompter-Aided design | |
| 942 | _cBK | ||
| 999 |
_c18323 _d18323 |
||