Record:   Prev Next
Author International Conference on the Mathematics of Program Construction (2nd : 1992 : Oxford, U.K.)
Title Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings / R.S. bird, C.C. Morgan, J.C.P. Woodcock, eds
Imprint Berlin ; New York : Springer-Verlag, c1993
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro D1.0 M426 1992  LNCS 669    LIB USE ONLY    30330000091111
 Mathematics Library  QA75.5 .L42  v.669    AVAILABLE    30340200301509
Record:   Prev Next