1. Add MS 88958/3/16
- Reference (shelfmark):
- Add MS 88958/3/16
- Title:
- Experimental Programming Reports
- Scope & Content:
- Contains: 'Proving properties of programs: a review of techniques and directions of research' by R. M. Burstall (Experimental Programming Report no. 26). 'Teaching non numerical programming by project' by J. S. Matheson (Experimental Programming Report no. 30). 'The scientist's apprentice' by Do...
- Collection Area:
- Western Manuscripts
- Languages:
- English
- Date Range:
- 1972-1979
- Extent:
- 1 folder