Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
Reps, Thomas.
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
QA76.76.V47 / R47 2007
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
QA76.76.V47 / R47 2007