Data refinement : model-oriented proof methods and their comparison /
Roever, Willem-Paul de
Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt - Cambridge, UK: Cambridge University Press, 1998 - xi, 423 p.: ill.; 24 cm. - Cambridge tracts in theoretical computer science; 47 .
Includes bibliographical references and index
0521641705 9780521641708 (hbk.)
Computer simulation
Data structures (Computer science)
Computer programs--Verification
Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt - Cambridge, UK: Cambridge University Press, 1998 - xi, 423 p.: ill.; 24 cm. - Cambridge tracts in theoretical computer science; 47 .
Includes bibliographical references and index
0521641705 9780521641708 (hbk.)
Computer simulation
Data structures (Computer science)
Computer programs--Verification