| 000 | 00378nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 190711s9999 xx 000 0 und d | ||
| 020 | _a0123742100 | ||
| 082 | _a621.3819642 R632 | ||
| 100 | _aROBINSON, D | ||
| 245 | 0 | _aASPECT - ORIENTED PROGRAMMING WITH THE E VERIFICATION LANGUAGE | |
| 260 |
_aAmsterdam _bElsevier _c2007 |
||
| 300 | _axvii+244p.,22x18Cms. | ||
| 942 |
_cBK _2DDC |
||
| 999 |
_c33227 _d33227 |
||