作者:Robert B. France,Jürgen Kazmeier,Ruth Breu,Colin Atkinson
主题词:Programming Languages,Compilers,Interpreters,Software Engineering,Logics and Meanings of Programs,Management of Computing and Information Systems,Simulation and Modeling,System Performance and Evaluation