LEADER 01261nam0-22004091i-450- 001 990001022350403321 005 20120626174508.0 010 $a3-540-07142-3 035 $a000102235 035 $aFED01000102235 035 $a(Aleph)000102235FED01 035 $a000102235 100 $a20120626d1975----km-y0itay50------ba 101 0 $aeng 102 $aDE 105 $ay-------001yy 200 1 $aCategory theory applied to computation and control$eproceedings of the First International Symposium, San Francisco, February 25-26, 1974$fedited by E.G. Manes 210 $aBerlin [etc.]$cSpringer-Verlag$d1975 215 $aX, 245 p.$cill.$d24 cm 225 1 $aLecture notes in computer science$v25 610 0 $aTeoria della programmazione e utilizzazione dei computers 610 0 $aSoftware 610 0 $aTeoria dei sistemi 676 $a510.78 676 $a629.8 702 1$aManes,$bErnest G. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001022350403321 952 $a8B-063$b9786$fFI1 952 $a09 052-006$b1091/L$fDINAE 952 $aC-16-(25$b16399$fMA1 959 $aFI1 959 $aDINAE 959 $aMA1 996 $aCategory theory applied to computation and control$9339740 997 $aUNINA