| Record ID | marc_records_scriblio_net/part23.dat:107844342:1339 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part23.dat:107844342:1339?format=raw |
LEADER: 01339cam 2200289 a 4500
001 93016952
003 DLC
005 20020918101302.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)