LOGICS OF PROGRAMSPDF电子书下载
- 电子书积分:16 积分如何计算积分?
- 作 者:CLARKE EDMUND AND DEXTER KOZEN
- 出 版 社:Springer-Verlag
- 出版年份:1984
- ISBN:3540128964
- 页数:528 页
图书介绍:
《LOGICS OF PROGRAMS》目录
标签:
相关图书
作者其它书籍
- 《通信电路 分析与设计》(美)克拉克(K.K.Clarke),(美)希斯(D.T.Hess)著;戚诒孙译 1980
- 《TIME-DOMAIN MEASUREMENTS IN ELECTROMAGNETICS》Edmund K 1986
- 《LOGICS OF PROGRAMS》CLARKE EDMUND AND DEXTER KOZEN 1984
- 《PSYCHOLOGY THIRD EDITION》DOUGLAS A.BERNSTEIN ALISON CLARKE-STEWART EDWARD J.ROY THOMAS K.SRULL CHRISTOPHER D.WICKENS 1994
- 《ALKALOID BIOLOGY AND METABOLISM IN PLANTS》GEORGE R.WALLER EDMUND K.NOWACKI 2222
- 《搜索方法论:优化与决策支持技术入门教程》EDMUND K.BURKE,CRAHAM KENDALL著;许莹,郭斯羽,李仁发译 2014