Mathematics of program construction, second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings, R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Type
Label
Mathematics of program construction, second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings, R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Language
eng
Bibliography note
Includes bibliographical references
Index
no index present
Literary Form
non fiction
Main title
Mathematics of program construction
Nature of contents
bibliography
Oclc number
1031639468
Responsibility statement
R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
Series statement
Lecture notes in computer science, 669
Sub title
second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Contributor
Content
Is Part Of
Mapped to
Incoming Resources
- Has instance2
Outgoing Resources
- Contributor4
- Subject2
- Content1
- Is Part Of1
- Mapped to1