作者:Robert L. Grossman,Anil Nerode,Anders P. Ravn,Hans Rischel
主题词:Processor Architectures,Special Purpose and Application-Based Systems,Software Engineering,Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Logics and Meanings of Programs