| 000 | 00856nam a2200229Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2002##################000#0#eng## | ||
| 020 | _a9783540431671 | ||
| 022 | _a2002514608 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a005.1 MUL | ||
| 100 | _aMüller, Peter | ||
| 245 |
_aModular specification and verification of object-oriented programs _cPeter Müller |
||
| 260 |
_aBerlin _bSpringer _cc2002 |
||
| 300 | _axiv, 292 p. : ill. ; 24 cm | ||
| 500 | _aBased on the author's thesis (doctoral)--Fernuniversität Hagen, 2001. Includes bibliographical references (p. [271]-283) and index. Also available via the World Wide Web | ||
| 650 | _aComputer software - Development | ||
| 650 | _aModular programming | ||
| 650 | _aObject-oriented programming (Computer science) | ||
| 990 | _acb8b6b72ac10000c5e063ef2c07ef09f | ||
| 991 | _a66512 | ||
| 999 |
_c13373 _d13373 |
||