Data refinement
Subtitle: model-oriented proof methods and their comparison
By: Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.].
Contributors: Engelhardt, Kai, 1966-; Buth, Karl-Heinz
Series: Cambridge tracts in theoretical computer science ;; 47
Publisher: Cambridge University Press
Published: 1998
Place of publication: Cambridge, UK; New York, NY
Language: eng
Number of pages: 423
Subjects: Computer simulation.; Data structures (Computer science); Computer programs -- Verification.
Notes: Includes bibliographical references (p. 404-418) and index.