作者:María J. Blesa,Christian Blum,Günther Raidl,Andrea Roli,Michael Sampels
主题词:Software Engineering,Algorithm Analysis and Problem Complexity,Computation by Abstract Devices,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Programming Techniques