| 000 | 00460nam a2200193Ia 4500 | ||
|---|---|---|---|
| 008 | 220901s9999 xx 000 0 und d | ||
| 041 | _a ENGLISH | ||
| 082 | _a621.392 | ||
| 082 | _bDRE | ||
| 100 | _aDRECHSLER, ROLF | ||
| 245 | 0 | _aADVANCED FORMAL VERIFICATION. | |
| 250 | _b2004 | ||
| 260 | _aDORDRECHT | ||
| 260 | _bKLUWER ACADEMIC PUBLISHERS | ||
| 260 | _c2004 | ||
| 300 | _a249 | ||
| 650 | _a ADVANCED FORMAL VERIFICATION | ||
| 942 | _cREF | ||
| 999 |
_c138947 _d138947 |
||