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 Oxford) 9-11 January 1990, Hursley Park

Author(s)

Bibliographic Information

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 Oxford) 9-11 January 1990, Hursley Park

Carroll Morgan and J.C.P. Woodcock (eds.)

(Workshops in computing)

Springer, c1991

  • : us
  • : gw

Other Title

Third Refinement Workshop

Available at  / 4 libraries

Search this Book/Journal

Note

"Published in collaboration with the British Computer Society."

Includes index

Related Books: 1-1 of 1

Details

Page Top