Data refinement : model-oriented proof methods and their comparison /

Bibliographic Details
Main Author:	Roever, W. P. de (Willem Paul)
Other Authors:	Engelhardt, Kai, 1966-, Buth, Karl-Heinz
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1998.
Series:	Cambridge tracts in theoretical computer science ; 47.
Subjects:	Computer simulation. Data structures (Computer science) Computer programs > Verification.

Description
Physical Description:	xi, 423 pages : illustrations, portraits ; 24 cm.
Bibliography:	Includes bibliographical references (pages 404-418) and index.
ISBN:	0521641705 (hb)