作者:Egon Börger,Hans Kleine Büning,Michael M. Richter
主题词:Computer Science,Computer System Implementation,Mathematical Logic and Foundations,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Combinatorics