LEADER 01455nam--2200421---450 
001 990000843980203316
005 20180312154822.0
010   $a3-540-42314-1
035   $a0084398
035   $aUSA010084398
035   $a(ALEPH)000084398USA01
035   $a0084398
100   $a20020107d2001----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aStatic analysis$e8th International symposium, SAS 2001$eParis, France, July 16-18, 2001$eproceedings$fPatrick Cousot (ed.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2001
215   $aXI, 436 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2126
410   $12001$aLecture notes in computer science$v2126
610   $aAlgoritmi$aCongressi$a2001
610   $aElaboratori elettronici$aProgrammazione$aCongressi$a2001
610   $aLinguaggi di programmazione$aCongressi$a2001
610   $aCongressi$aParigi$a2001
676   $a005.1
702  1$aCousot,$bPatrick
710 12$aInternational symposium SAS 2001 <8. ; 2001 ; Parigi, France>$0551069
801  0$aITA$bCBS$gISBD
912   $a990000843980203316
951   $a001 LNCS (2126)$b0026693 CBS$c001$d00110875
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20020107$lUSA01$h0911
979   $aALANDI$b90$c20020129$lUSA01$h1238
979   $c20020403$lUSA01$h1730
979   $aPATRY$b90$c20040406$lUSA01$h1658
996   $aStatic analysis$9968040
997   $aUNISA