LEADER 01413nam--2200421---450-
001 990000338530203316
010   $a3-540-67668-6
035   $a0033853
035   $aUSA010033853
035   $a(ALEPH)000033853USA01
035   $a0033853
100   $a20010208d2000----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aStatic analysis$e7th international symposium, SAS 2000$eSanta Barbara, CA, USA, June 29 - July1, 2000$eproceedings$fJens Palsberg (ed.)
210   $aBerlin$cSpringer-Verlag$dc2000
215   $aVIII, 431 p.$cill.$d25 cm
225 2 $aLecture notes in computer science$v1824
410   $12001$aLecture notes in computer science$v1824
461  1$1001-------$12001
610 0 $aLinguaggi di programmazione$xCongressi$z2000
610 0 $aElaboratori elettronici$xCongressi$z2000
610 0 $aCongressi$ySanta Barbara$z2000
676   $a005.13
702  1$aPALSBERG,$bJens
710 12$aInternational symposium, SAS 2000$0542943
801  0$aIT$bsalbc$gISBD
912   $a990000338530203316
951   $a001 LNCS (1824)$bCBS 0025593$c001 LNCS$d00103197
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010208$lUSA01$h1411
979   $aALANDI$b90$c20020129$lUSA01$h1230
979   $c20020403$lUSA01$h1641
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aStatic analysis$9877918
997   $aUNISA