| Record ID | marc_oregon_summit_records/catalog_files/osu_bibs.mrc:1349844676:1406 |
| Source | Oregon Libraries |
| Download Link | /show-records/marc_oregon_summit_records/catalog_files/osu_bibs.mrc:1349844676:1406?format=raw |
LEADER: 01406nam a22003738a 4500
001 49512729
003 OCoLC
005 20020502094529.0
008 020326s2002 nyu b 101 0 eng
010 $a2002021781
020 $a3540436138 (softcover : acid-free paper)
040 $aDLC$cDLC$dOHX$dORE
042 $apcc
049 $aOREU
050 00 $aQA76.6$b.S415 2000
050 00 $aQA76.6$b.S415 2000
072 7 $aQA$2lcco
111 2 $aSchool on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction$d(2000 :$cUniversity of Oxford)
245 10 $aAlgebraic and coalgebraic methods in the mathematics of program construction :$binternational summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /$cRoland Backhouse, Roy Crole, Jeremy Gibbons, eds.
260 $aNew York :$bSpringer,$c2002.
263 $a0205.
300 $axiv, 385 :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v2297.
504 $aIncludes bibliographical references and index.
650 0 $aComputer programming$vCongresses.
650 0 $aComputer science$xMathematics$vCongresses.
650 0 $aAlgebra$vCongresses.
700 1 $aBackhouse, Roland C.,$d1948-
700 1 $aCrole, Roy L.
700 1 $aGibbons, Jeremy,$d1966-
907 $a.b22071301$bvge $c-
902 $a031007
998 $b1$c020502$dm$ea$f-$g0
945 $lvge $d120140757150$e1