LEADER 01369nam--2200385---450 
001 990001117180203316
005 20180312154827.0
010   $a3-540-44235-9
035   $a000111718
035   $aUSA01000111718
035   $a(ALEPH)000111718USA01
035   $a000111718
100   $a20021217d2002----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aStatic analysis$e9th International symposium, SAS 2002$eMadrid, Spain, September 17-20, 2002$eproceedings$fManuel V.Hermenegildo...<et al.>(eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002
215   $aXI, 524 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2477
410   $12001$aLecture notes in computer science$v2477
610   $aAlgoritmi$aCongressi$a2002
610   $aElaboratori elettronici$aProgrammazione$aCongressi$a2002
610   $aLinguaggi di programmazione$aCongressi$a2002
676   $a005.1
702  1$aHermenegildo,$bManuel V.
710 12$aInternational symposium, SAS 2002 <9. ; 2002 ; Madrid , Spain>$0554575
801  0$aITA$bCBS$gISBD
912   $a990001117180203316
951   $a001 LNCS (2477)$b0027364 CBS$c001$d00113185
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021217$lUSA01$h1357
979   $aPATRY$b90$c20040406$lUSA01$h1717
996   $aStatic analysis$9981555
997   $aUNISA