4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, Organised by Bcs-Facs, 9-11 January 1991, Cambridge

by Joseph M. Morris

This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991. The term refinement embraces the theory and practice of using formal methods for specifying and implementing hardware and software. Most of the achievements to date in the field have been in developing the theoretical...

• Format: Paperback
• Language: English
• ISBN: 3540196579
• ISBN13: 9783540196570
• Release Date: June 1991
• Publisher: Springer
• Length: 480 Pages
• Weight: 1.71 lbs.
• Dimensions: 1.0" x 6.7" x 9.6"