Computer Science Monographs
2015200920001999199719961995199419931992
1991199019891988198719861985198419831982
198119801978197619741973197219711970
|
[PRG64] |
A CALCULUS OF FUNCTIONS FOR PROGRAM DERIVATION Richard Bird No. PRG64. OUCL. December, 1987. |
|
[PRG62] |
THE FORMAL DOCUMENTATION OF A BLOCK STORAGE SERVICE Roger Gimson No. PRG62. OUCL. August, 1987. |
|
[PRG61] |
THE SPECIFICATION OF NETWORK SERVICES Jonathan Bowen‚ Roger Gimson and Stig Topp−Jorgensen No. PRG61. OUCL. August, 1987. |
|
[PRG60] |
THE FORMAL SPECIFICATION OF A MICROPROCESSOR INSTRUCTION SET Jonathan Bowen No. PRG60. OUCL. January, 1987. |
|
[PRG58] |
FORMAL METHODS APPLIED TO A FLOATING POINT NUMBER SYSTEM Geoff Barrett No. PRG58. OUCL. January, 1987. |