作者:Vladimir P. Gerdt,Wolfram Koepf,Werner M. Seiler,Evgenii V. Vorozhtsov
主题词:Computer Science,Algorithm Analysis and Problem Complexity,Mathematics of Computing,Special Purpose and Application-Based Systems,Computer System Implementation,Logic Design,Logics and Meanings of Programs