000 | 00387nam a2200145Ia 4500 | ||
---|---|---|---|
001 | 2120 | ||
008 | 150525s9999 xx 000 0 und d | ||
020 | _a0-13-729146-9 | ||
100 | _aBackhouse Roland | ||
245 | _aProgram Construction And Verification | ||
250 | _a0 | ||
260 |
_aLondon _bPrentice-Hall _c1986 |
||
300 | _a,;ill. | ||
650 | _aElectronic Digital Computers - Programming | ||
999 |
_c29047 _d29047 |