000 | 004320000a22001450004500 | ||
---|---|---|---|
008 | 140223b1986 xxu||||| |||| 00| 0 eng d | ||
041 | _aENG | ||
080 | _a9S42 M6 | ||
082 | _a9S42 M6 | ||
100 | _aBACKHOUSE (Roland Carl) 1948 | ||
245 | _aProgram construction and verification. | ||
260 |
_aLondon _bPrentice Hall _c1986 |
||
500 | _aPrentice Hall international Series in Computer Science. | ||
650 | _aMICROPROCESSORS | ||
999 |
_c222076 _d222076 |