| Record ID | marc_loc_2016/BooksAll.2016.part22.utf8:162216933:1440 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part22.utf8:162216933:1440?format=raw |
LEADER: 01440cam a2200301 a 4500
001 93016952
003 DLC
005 20080308084313.0
008 930310s1993 gw b 100 0 eng
010 $a 93016952
020 $a3540566252 (Berlin : alk. paper) :$cDM72.00
020 $a0387566252 (New York : alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.M367 1993
082 00 $a005.1/01/5113$220
245 00 $aMathematics of program construction :$bsecond international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /$cR.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1993.
300 $aviii, 378 p. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v669
500 $a"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.
504 $aIncludes bibliographical references.
650 0 $aComputer programming$vCongresses.
650 0 $aComputer science$xMathematics$vCongresses.
700 1 $aBird, Richard,$d1943-
700 1 $aMorgan, Carroll,$d1952-
700 1 $aWoodcock, Jim.
711 2 $aInternational Conference on the Mathematics of Program Construction$n(2nd :$d1992 :$cSt. Catherine's College)
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/93016952-d.html