LEADER 01415nam2-2200409---450-
001 990003114200203316
005 20080926112019.0
010   $a978-3-540-79123-2
035   $a000311420
035   $aUSA01000311420
035   $a(ALEPH)000311420USA01
035   $a000311420
100   $a20080604d2008----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aTests and proofs$esecond international conference, TAP 2008$ePrato, Italy, April 9-11, 2008$eproceedings$fBernhard Beckert, Reiner Hahnle (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2008
215   $aX, 191 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v4966
410  0$12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 0 $aIngegneria del software$xCongressi$yPrato$z2008
606 0 $aElaborazione dati$xCongressi$yPrato$z2008
676   $a005.14
702  1$aBECKERT,$bBernhard
702  1$aHAHNLE,$bReiner
710 02$aInternational conference, TAP 2008$d<2.;$f2008;$ePrato>$0601536
801  0$aITA$bsalbc$gISBD
912   $a990003114200203316
951   $a001 LNCS 4966$b36738/CBS$c001$d00217353
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080604$lUSA01$h1014
979   $aANGELA$b90$c20080926$lUSA01$h1120
996   $aTests and proofs$91020347
997   $aUNISA

LEADER 01038nam--2200337---450-
001 990006125310203316
005 20160215113338.0
035   $a000612531
035   $aUSA01000612531
035   $a(ALEPH)000612531USA01
035   $a000612531
100   $a20160215d1969----km-y0itay50------ba
101   $aita
102   $aIT
105   $aa---||||001yy
200 1 $a<<I >>capricci$fFrancisco Goya y Lucientes$gintroduzione di Bruno Caruso
210   $a[S.l.]$cVie nuove$d1969
215   $a1 volume (senza paginazione)$cin gran parte ill.$d31 cm
454  1$12001$aCaprichos$91384948
600  1$aGoya y Lucientes,$bFrancisco José$xCataloghi di esposizioni$2BNCF
676   $a769.946
700  1$aGOYA Y LUCIENTES,$bFrancisco José$0399840
702  1$aCARUSO,$bBruno
801  0$aIT$bsalbc$gISBD
912   $a990006125310203316
951   $aXV.9.M. 2751$b4609 MAR$cXV.9.M.$d385606
959   $aBK
969   $aMAR
979   $aIANNONE$b90$c20160215$lUSA01$h1133
996   $aCaprichos$91384948
997   $aUNISA