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.

Format Electronic
Publication InfoBerlin ; New York : Springer-Verlag,
Descriptionviii, 378 p. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science
Supplemental ContentFull text available from Springer Books
Subjects
Computer programming--Congresses.
Computer science--Mathematics. --Congresses.

Other author/creatorBird, Richard, 1943-
Other author/creatorMorgan, Carroll, 1952-
Other author/creatorWoodcock, Jim.
Other author/creatorInternational Conference on the Mathematics of Program Construction 1992 : St. Catherine's College) (2nd :
SeriesLecture notes in computer science ; 669
General note"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.
Bibliography noteIncludes bibliographical references.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 93016952
ISBN3540566252 (Berlin : alk. paper) :
ISBN0387566252 (New York : alk. paper)