@BOOK{ Book!D - 90314803,
AUTHOR = " Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).",
TITLE = "Program analysis and compilation, theory and practice :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.",
URL = "/book/90314803/Program-analysis-and-compilation-theory-and-pract/"}