6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, Organised by Bcs-Facs, London, 5-7 January 1994 (Workshops in Computing)

Refinement

by David Till

Paperback

ISBN: 978-0-387-19886-6

ISBN-10: 0-387-19886-5

Springer Verlag · 1994
See also (possibly by other authors):
1993Taschenbuch5th Refinement Workshop: Proceedings Of The 5Th Refinement Workshop, Organised By Bcs-Facs, London, 8-10 January 1992 (Workshops In Computing)
1992Paperback5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 1-10 January 1992 (Workshops in Computing)