LEADER 00972nam0-22003011i-450-
001 990001090700403321
010   $a3-540-17162-2
035   $a000109070
035   $aFED01000109070
035   $a(Aleph)000109070FED01
035   $a000109070
100   $a20000920d1986----km-y0itay50------ba
101 0 $aeng
200 1 $aCategory Theory and Computer Programming$eTutorial and Workshop, Guildford, U.K. September 16-20, 1985 Proceedings$fEdited by David Pitt ... [et al.]
210   $aBerlin [etc.]$cSpringer-Verlag$d1986
225 1 $aLecture notes in computer science$v240
610 0 $aTeoria della programmazione e utilizzazione dei computers
610 0 $aSoftware
676   $a510.78
700  1$aPitt,$bDavid$051908
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001090700403321
952   $a8B-213$b16323$fFI1
959   $aFI1
996   $aCategory Theory and Computer Programming$9335728
997   $aUNINA
DB    $aING01