Menu

Oxford University Computing Laboratory. Programming Research Group

3 published titles

Laws of programming : a tutorial paper

(Contributor)

1 edition

  • Oxford University Computing Laboratory, Programming Research Group
  • 1985
  • Details

The weakest prespecification

(Contributor)

1 edition

  • Oxford University Computing Laboratory, Programming Research Group
  • 1985
  • Details

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

(Contributor)

1 edition

  • ISBN: 0387196242
  • Springer-Verlag in collaboration with the British Computer Society
  • 1991
  • Details

obnb.uk is a Good Stuff website.