LEADER 01558nam2-2200445li-450 001 990000202950203316 005 20180312154757.0 010 $a3-540-55179-4 035 $a0020295 035 $aUSA010020295 035 $a(ALEPH)000020295USA01 035 $a0020295 100 $a20001109d1992----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aComputer aided verification$e3rd International workshop, CAV'91: Aalborg, Denmark, July 1-4, 1991: proceedings$fK. G. Larsen, A. Skou (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1992 215 $aX, 487 p.$cill.$d25 cm 225 2 $aLecture notes in computer science$v575 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$aaalborg$a1991 610 1 $asistemi distribuiti$acongressi$a1991 610 1 $asistemi$amodelli matematici$acongressi$a1991 610 1 $asistemi$averifica$acongressi$a1991 676 $a003$9Sistemi 702 1$aLarsen,$bKim G. 702 1$aSkou,$bArne 710 12$aInternational workshop$bCAV'91$d3.$eAalborg$f1991$0753250 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000202950203316 951 $a001 LNCS (575)$b0014414$c001$d00102680 959 $aBK 969 $aSCI 979 $c19940501 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010126$lUSA01$h1234 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aComputer aided verification$91515186 997 $aUNISA LEADER 01142nam2-2200349---450- 001 990003370670203316 005 20100211152736.0 010 $a978-88-317-9177-9 035 $a000337067 035 $aUSA01000337067 035 $a(ALEPH)000337067USA01 035 $a000337067 100 $a20100211d2008----km-y0itay50------ba 101 $aita 102 $aIT 105 $aa---||||001yy 200 1 $a<> : Guido Reni e il Seicento$fPinacoteca nazionale di Bologna$ga cura di Jadranka Bentini ... [et al.] 210 $aVenezia$cMarsilio$d2008 215 $a614 p.$cill.$d30 cm 461 1$1001000288679$12001$aCatalogo generale 606 0 $aPittura emiliana$zSec. 17.$xCollezioni [della] Pinacoteca nazionale $xCataloghi$2BNCF 676 $a759.507445411 702 1$aBENTINI,$bJadranka 710 02$aPINACOTECA NAZIONALE $0486106 801 0$aIT$bsalbc$gISBD 912 $a990003370670203316 951 $aXII.2.A. 454/3$b215504 L.M.$cXII.2.$d00015576 959 $aBK 969 $aUMA 979 $aGIUSY$b90$c20100211$lUSA01$h1527 996 $aGuido Reni e il Seicento$91123412 997 $aUNISA