PREDICATE CALCULUS AND PROGRAM SEMANTICSPDF电子书下载
- 电子书积分：10 积分如何计算积分？
- 作 者：EDSGER W.DIJKSTRA，CAREL S.SCHOLTEN
- 出 版 社：Springer-Verlag
- 出版年份：1990
- ISBN：7506210444
- 页数：220 页
图书介绍：
《PREDICATE CALCULUS AND PROGRAM SEMANTICS》目录
标签：
相关图书
作者其它书籍
- 《PRINCIPLES OF IMMUNOLOGY SECOND EDITION》NOEL R.ROSE FELIX MILGROM CAREL J.VAN OSS 2222
- 《PRINCIPLES OF IMMUNOLOGY》NOEL R.ROSE FELIX MILGROM CAREL J.VAN OSS 2222
- 《FORMAL DEVELPMENT OF PROGRAMS AND PROOFS》EDSGER W.DUKSTRA 2222
- 《NWE TAKES IN FILM-PHILOSOPHY》HAVI CAREL AND GREG TUCK 2011
- 《PREDICATE CALCULUS AND PROGRAM SEMANTICS》EDSGER W.DIJKSTRA，CAREL S.SCHOLTEN 1990
- 《安全策略与规程：原理与实践》（美）格林（Greene，S.S）；陈宗斌等译 2008