作者:João M. Fernandes,Ralf Lämmel,Joost Visser,João Saraiva
主题词:Software Engineering,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Programming Techniques,Mathematical Logic and Formal Languages,Software Engineering/Programming and Operating Systems