000 | 00463nam a2200181Ia 4500 | ||
---|---|---|---|
008 | 180424s9999 xx 000 0 und d | ||
020 | _a137291531 | ||
084 | _a510.78 B52 | ||
100 | _a"Backhouse, Roland C" | ||
245 | 0 | _aProgram Construction and Verification | |
250 | _a\\198600ENGGPS000 | ||
260 | _aPrentice Hall | ||
260 | _b1986 | ||
260 | _cEnglewood Cliffs | ||
300 | _axi+281p | ||
500 | _aincludes index and biblioraphy | ||
942 | _cBK | ||
999 |
_c51445 _d51445 |