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; Cambridge tracts in theoretical computer science -- 47.
Publisher: Cambridge University Press
Published: 2009
Place of publication: Cambridge; New York
Language: eng
Number of pages: 423
ISBN-13: 9780521103503
Subjects: Computer simulation; Verification; Data structures (Computer science); Computer programs
Notes: Digital reprint. Originally published: 1998.

Includes bibliographical references (p. 404-418) and index.