Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / [electronic resource] :
edited by Thomas Reps, Mooly Sagiv, Jörg Bauer.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4444 0302-9743 ; .
9783540713227
Computer science Software engineering Logic design Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Techniques