| 000 | 00379nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 211224s9999 xx 000 0 und d | ||
| 020 | _a9781402077210 | ||
| 082 | _a621.381548 DRE | ||
| 245 | 0 | _aAdvanced formal verification | |
| 260 |
_aBoston: _bKluwer Academic Publishers, _c2004 |
||
| 300 | _axxv, 249 p. : ill. ; 25 cm | ||
| 650 | _aDecision trees | ||
| 700 | _aDrechsler, Rolf | ||
| 999 |
_c11407 _d11407 |
||