ISBN 3540011854 books & textbook
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization (Lecture Notes in Computer Science, 2628)
Fahringer, Thomas Scholz, Bernhard
Springer /2003-04-07 Paperback / 148 Pages
isbn-10: 3540011854 / isbn-13: 9783540011859