LEADER 04044nam--2200961---450-
001 990001159260203316
005 20030725123442.0
010   $a3-540-43613-8
035   $a000115926
035   $aUSA01000115926
035   $a(ALEPH)000115926USA01
035   $a000115926
100   $a20021217d2002----km-y0itay0103----ba
101   $aENG
105   $a||||||||001yy
200 1 $aAlgebraic and coalgebraic methods in the mathematics of program construction$eInternational summer school and workshop$eOxford, UK, April 10-14, 2000$eRevised Lectures$fRoland Backhouse... <et al.> (Eds.)
210   $aBerlin$cSpringer-Verlag$dcopyr.2002
215   $aXIV,385 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v2297
702   $aBACKHOUSE$bRoland
801  0$aIT$bCBS$gISBD
912   $a990001159260203316
951   $a001 LNCS (2297)$b0026800 CBS$c001$d00112116
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021217$lUSA01$h1200
979   $aDIGIUSEPPE$b90$c20030310$lUSA01$h1222
979   $aDIGIUSEPPE$b90$c20030530$lUSA01$h1247
979   $aDIGIUSEPPE$b90$c20030603$lUSA01$h1655
979   $aDIGIUSEPPE$b90$c20030603$lUSA01$h1657
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1536
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1541
979   $aDIGIUSEPPE$b90$c20030610$lUSA01$h1543
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1156
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1159
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1205
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1316
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1332
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1339
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1345
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1347
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1347
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1354
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1358
979   $aDIGIUSEPPE$b90$c20030612$lUSA01$h1401
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1126
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1131
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1135
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1149
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1200
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1210
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1226
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1232
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1237
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1244
979   $aDIGIUSEPPE$b90$c20030613$lUSA01$h1250
979   $aDIGIUSEPPE$b90$c20030624$lUSA01$h1614
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1138
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1144
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1151
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1319
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1326
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1335
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1340
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1346
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1357
979   $aDIGIUSEPPE$b90$c20030625$lUSA01$h1409
979   $aDIGIUSEPPE$b90$c20030627$lUSA01$h1347
979   $aDIGIUSEPPE$b90$c20030627$lUSA01$h1351
979   $aDIGIUSEPPE$b90$c20030627$lUSA01$h1354
979   $aDIGIUSEPPE$b90$c20030627$lUSA01$h1359
979   $aDIGIUSEPPE$b90$c20030627$lUSA01$h1405
979   $aDIGIUSEPPE$b90$c20030627$lUSA01$h1410
979   $aDIGIUSEPPE$b90$c20030627$lUSA01$h1554
979   $aDIGIUSEPPE$b90$c20030627$lUSA01$h1600
979   $aDIGIUSEPPE$b90$c20030627$lUSA01$h1605
979   $aDIGIUSEPPE$b90$c20030627$lUSA01$h1607
979   $aDIGIUSEPPE$b90$c20030627$lUSA01$h1613
979   $aDIGIUSEPPE$b90$c20030725$lUSA01$h1234
979   $aPATRY$b90$c20040406$lUSA01$h1721
979   $aPATRY$b90$c20061002$lUSA01$h1521
996   $aAlgebraic and coalgebraic methods in the mathematics of program construction$9983682
997   $aUNISA