000271397 000__ 01196cam\a22003374a\45e0 000271397 001__ 271397 000271397 005__ 20210513102725.0 000271397 008__ 030317s2003\\\\gw\a\\\\\b\\\\001\0\eng\\ 000271397 010__ $$a 2003045579 000271397 015__ $$aGBA3-65719 000271397 020__ $$a3540011854 (pbk. : alk. paper) 000271397 035__ $$a(OCoLC)ocm51900320 000271397 035__ $$a271397 000271397 040__ $$aDLC$$cDLC$$dC$Q$$dOHX$$dGZM$$dUKM 000271397 042__ $$apcc 000271397 049__ $$aISEA 000271397 05000 $$aQA76.76.C65$$bF34 2003 000271397 072_7 $$aQA$$2lcco 000271397 08200 $$a005.4/53$$221 000271397 1001_ $$aFahringer, Thomas,$$d1965- 000271397 24510 $$aAdvanced symbolic analysis for compilers :$$bnew techniques and algorithms for symbolic program analysis and optimization /$$cThomas Fahringer, Bernhard Scholz. 000271397 260__ $$aBerlin ;$$aNew York :$$bSpringer,$$cc2003. 000271397 300__ $$axii, 129 p. :$$bill. ;$$c24 cm. 000271397 440_0 $$aLecture notes in computer science ;$$v2628 000271397 504__ $$aIncludes bibliographical references and index. 000271397 530__ $$aAlso available via the World Wide Web. 000271397 650_0 $$aCompilers (Computer programs) 000271397 650_0 $$aComputer algorithms. 000271397 7001_ $$aScholz, Bernhard$$q(Bernhard Friedrich),$$d1972- 000271397 85200 $$bgen$$hQA76.76.C65$$iF34$$i2003 000271397 909CO $$ooai:library.usi.edu:271397$$pGLOBAL_SET 000271397 938__ $$aOtto Harrassowitz$$bHARR$$nhar035014496$$c36.38 EUR 000271397 980__ $$aBIB 000271397 980__ $$aBOOK 000271397 994__ $$aE0$$bISE