LEADER 01258nam--2200385---450-
001 990001888920203316
005 20040730090302.0
010   $a3-540-01185-4
035   $a000188892
035   $aUSA01000188892
035   $a(ALEPH)000188892USA01
035   $a000188892
100   $a20040730d2003----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aAdvanced symbolic analysis for compilers$enew techniques and algorithms for symbolic program analysis and optimization$fThomas Fahringer, Bernhard Scholz
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aXII, 129 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2628
410  0$12001$aLecture notes in computer science$v2628
454  1$12001
461  1$1001-------$12001
610 0 $aCompilatori programmi per computer
676   $a005.453
700  1$aFAHRINGER,$bThomas$0508818
701  1$aSCHOLZ,$bBernhard$0564903
801  0$aIT$bsalbc$gISBD
912   $a990001888920203316
951   $a001 LNCS 2628$b0029480/CBS$c001$d00113865
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040730$lUSA01$h0903
996   $aAdvanced symbolic analysis for compilers$9953832
997   $aUNISA