作者:Patrice Enjalbert,Ernst W. Mayr,Klaus W. Wagner
主题词:Computer Science,Theory of Computation,Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Techniques