| 000 | 00388nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 211224s9999 xx 000 0 und d | ||
| 020 | _a3540679898 | ||
| 082 | _a005.1 SCH | ||
| 100 | _aSchumann, Johann M | ||
| 245 | 0 | _aAutomated theorem proving in software engineering | |
| 260 |
_aBerlin: _bSpringer, _c2001 |
||
| 300 | _axiv, 228 p. : ill. ; 24 cm | ||
| 650 | _aAutomatic theorem proving | ||
| 999 |
_c24851 _d24851 |
||