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