3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop (Workshops in Computing)

by: Refinement Workshop 1990 (IBM Uk Laboratories) · Carroll Morgan · British Computer Society Specialist Group in Formal Aspects of computi · IBM Uk Laboratories · Oxford University Computing Laboratory Programming Research Group

Paperback

ISBN: 978-0-387-19624-4

ISBN-10: 0-387-19624-2

Springer Verlag · 1991

See also:
1991Taschenbuch3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hurslay Park and the ... 1990, Hursley Park (Workshops in Computing)