6th Refinement Workshop Proceedings of the 6th Refinement Workshop, Organised by Bcs-Facs, London, 5-7 January 1994 (Workshops in Computing) by David Till Published in January 1994, Springer 6th Refinement Workshop David Till Change Cover Language: English ISBN 10: 0387198865 ISBN 13: 9780387198866
description edit Table of contents edit No table of contents available Add it!
No table of contents available Add it!