The Theory and practice of refinement : approaches to the formal development of large-scale software systems /

Bibliographic Details
Corporate Author:	Workshop on the Theory and Practice of Refinement
Other Authors:	McDermid, John
Format:	Conference Proceeding Book
Language:	English
Published:	London ; Boston : Butterworths, 1989.
Subjects:	Computer software > Development > Congresses. Interactive computer systems > Congresses.

Description
Item Description:	"Based on the proceedings of a Workshop on the Theory and Practiceof Refinement held at the King's Manor in York on 7th and 8th January 1988"--Foreword.
Physical Description:	217 pages : illustrations
Bibliography:	Includes bibliographical references.
ISBN:	0408039817 :