00809nam a2200229 a 4500001001400000003000700014005001700021008004100038020001500079020002500094040000800119100002700127245011400154260005400268300003100322490005700353504005000410650002400460650003900484650003600523700002000559vtls000002606KUKTEM20251117142016.0      t1998    xxka   f      0 1 0     d  a0521641705  a9780521641708 (hbk.)  aUMP1 aRoever, Willem-Paul de10aData refinement :bmodel-oriented proof methods and their comparison /cWillem-Paul de Roever, Kai Engelhardt  aCambridge, UK:bCambridge University Press,c1998  axi, 423 p.:bill.;c24 cm.0 aCambridge tracts in theoretical computer science; 47  aIncludes bibliographical references and index 0aComputer simulation 0aData structures (Computer science) 0aComputer programsxVerification1 aEngelhardt, Kai