| Fifth Refinement Workshop Proceedings, Organized by BCS-FACS, London, 8-10 January 1992 | | | Editor:
| Jones, C. B.
Shaw, R. C.
Denvir, Tim
van Rijsbergen, C. J. | | Series title: | Workshops in Computing Ser. | | ISBN: | 978-0-387-19752-4 | | Publication Date: | Jan 1993 | | Publisher: | Springer
| | Book Format: | Hardback | | List Price: | Contact Supplier contact
|
| |