Mathematics of program construction
Subtitle: second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
By: R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds.
Contributors: Bird, Richard, 1943-; Morgan, Carroll, 1952-; Woodcock, Jim.; International Conference on the Mathematics of Program Construction (2nd : 1992 : St. Catherine's College)
Series: Lecture notes in computer science ;; 669
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 378
Subjects: Computer programming -- Congresses; Computer science -- Mathematics -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references.
"Papers ... presented at the Second International Conference on the Mathematics of Program Construction, held at St Catherine's College, Oxford, during the week of 29 June-3 July, 1992"--Pref.