| 000 | 00394nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 160523s9999 xx 000 0 und d | ||
| 020 | _a978-3-540-68977-5 | ||
| 100 | _aBeckert, B. | ||
| 245 | _aVerification of object-oriented software: The KeY approach | ||
| 260 |
_aBerlin, Heidelberg _bSpringer-Verlag _c2007 |
||
| 300 | _axxix, 658p. | ||
| 490 | _aLecture notes in artificial intelligence, 4334 | ||
| 999 |
_c29738 _d29738 |
||