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