4th Refinement Workshop : Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge /

This volume contains the papers presented at the 4th Refinement Workshop, organised by the Formal Aspects group of the British Computer Society, and held in Cambridge on January 9-11, 1991. Refinement is the term used to describe systematic and formal methods of specifying hardware and software, and...

Full description

Bibliographic Details

Main Author:	Morris, Joseph M.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Shaw, Roger C.
Format:	eBook
Language:	English
Published:	London : Springer London, 1991.
Series:	Workshops in computing.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book