000 00323nam a2200121Ia 4500
008 190711s9999 xx 000 0 und d
082 _a621.3819642 B168
100 _aBAKKER JACO DE
245 0 _aMATHEMATICAL THEORY OF PROGRAMME CORRECTNESS
260 _aLONDON
_bPrentice Hall
_c1980
300 _a24X17
942 _cBK
_2DDC
999 _c18841
_d18841