LEADER 01094nam0-22003251i-450-
001 990000470440403321
005 20090218122001.0
010   $a3-540-10007-5
035   $a000047044
035   $aFED01000047044
035   $a(Aleph)000047044FED01
035   $a000047044
100   $a20020821d1980----km-y0itay50------ba
101 0 $aeng
105   $aa-------101yy
200 1 $aAbstract software specifications$e1979 Copenhagen winter school, january 22- february 2, 1979 proceedings$fedited by D. Bjorner
210   $aBerlin ; Heidelberg$cSpringer-Verlag$d1980
215   $a566 p.$cill.$d24 cm
225 1 $aLecture notes in computer science$v86
610 0 $aElaboratori digitali elettronici$aCongressi
676   $a001.64'2
702  1$aBjørner,$bDines$f<1937- >
710 12$aCopenhagen winter school on abstract software specifications$f<1979>$0491514
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000470440403321
952   $a10 PRO 161$b1617 CCE$fDINEL
959   $aDINEL
996   $aAbstract software specifications$9331978
997   $aUNINA

LEADER 01124cam2-2200349---450-
001 990005869200203316
005 20130709160203.0
035   $a000586920
035   $aUSA01000586920
035   $a(ALEPH)000586920USA01
035   $a000586920
100   $a20130708d1910----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $a||||||||001yy
200 1 $a<<2.4:>> Diporti e veglie$fTullo Massarani$gper cura di Giulio Natali
210   $aFirenze$cSuccessori Le Monnier$d1910
215   $a538 p.$d18 cm
461  0$1001000586902$12001$aEdizione postuma delle opere di Tullo Massarani
462  0$1001000586916$12001$aStudii letterarii e artistici
700  1$aMASSARANI,$bTullo$0319879
702  1$aNATALI,$bGiulio$f<1875-1965>
801  0$aIT$bsalbc$gISBD
912   $a990005869200203316
951   $aXV.2.A. 1605 2.4$b3250 F.C.$cXV.2.A.$d00341985
959   $aBK
969   $aCUOMO
979   $aPALERMO$b90$c20130708$lUSA01$h1518
979   $aPALERMO$b90$c20130708$lUSA01$h1600
979   $aANNAMARIA$b90$c20130709$lUSA01$h1602
996   $aDiporti e veglie$9169106
997   $aUNISA