The Theory and Practice of Refinement
Subtitle: Approaches to the Formal Development of Large-Scale Software Systems
Contributors: John A. McDermid (Editor); Workshop on the Theory and Practice of Refinement (Editor)
Publisher: Butterworth-Heinemann
Published: December 1989
Language: eng
Number of pages: 217
ISBN-13: 9780408039819