000			00390nam a22001457a 4500
005			20260227103428.0
008			260227b |||||||| |||| 00| 0 eng d
020			_a0137291531
050			_aQA76.6.B28 1986
100			_aBackhouse R.C
245			_aProgram construction and verification _cR.C Backhouse
260			_aHempstead _bC.A.R Hoare _c1986
300			_axi, 281p, ;ill
942			_cBK
999			_c28256 _d28256