Enlarge

3rd refinement workshop : proceedings of the 3rd Refinement Workshop : organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxfor

Publication Data

Title 3rd refinement workshop : proceedings of the 3rd Refinement Workshop : organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxfor
Contributors Carroll Morgan, Jim Woodcock, British Computer Society, IBM UK Laboratories, IBM UK Laboratories
Publisher Springer-Verlag in collaboration with the British Computer Society
Publication date 1991
Publication location London
Language English

Topics

Computer programming :: Congresses

Catalogue Data

OBNB ID GB9050358
ISBN 10 0387196242
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 vii,197p.
P1042 Includes bibliographies and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

3rd refinement workshop : proceedings of the 3rd Refinement Workshop : organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxfor. ISBN 0387196242. Published by Springer-Verlag in collaboration with the British Computer Society in 1991. Publication and catalogue information, links to buy online and reader comments.