temporal logic and temporal logic progamming
duan zhenhua2222 年出版196 页ISBN:7030166515
本书主要介绍有关计算机科学与技术方面的基本知识和应用等。
Duane P.Schultz,Sydney Ellen Schultz著;陆洛,吴佩瑀,施建彬,高旭繁,翁崇修,陈欣宏译;陆洛审阅2011 年出版509 页ISBN:9789867138798
edited by Duane E. Haines ; contributors1997 年出版498 页ISBN: