作者:Thomas Gschwind,Flavio Paoli,Volker Gruhn,Matthias Book
主题词:Software Engineering,Programming Techniques,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Computer Communication Networks,Mathematical Logic and Formal Languages