| Record ID | marc_loc_2016/BooksAll.2016.part29.utf8:185398993:1305 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part29.utf8:185398993:1305?format=raw |
LEADER: 01305cam a22003014a 4500
001 2002021781
003 DLC
005 20080307082904.0
008 020326s2002 nyua b 101 0 eng
010 $a 2002021781
020 $a3540436138 (softcover : acid-free paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.6$b.S415 2000
082 00 $a005$221
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 $aBerlin ;$aNew York :$bSpringer,$cc2002.
300 $axiv, 385 p. :$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-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0813/2002021781-d.html