FORMAL DEVELPMENT OF PROGRAMS AND PROOFSPDF电子书下载
- 电子书积分：10 积分如何计算积分？
- 作 者：EDSGER W.DUKSTRA
- 出 版 社：ADDISON-WESLEY PUBLISHING COMPANY
- 出版年份：2222
- ISBN：0201172372
- 页数：242 页
图书介绍：
《FORMAL DEVELPMENT OF PROGRAMS AND PROOFS》目录
标签：
出版社其它书籍
- 《非线性量子力学》庞小峰编著 2009
- 《爱与意志》（美）罗洛·梅著；冯川译 1998
- 《牛虻》（英）艾·丽·伏尼契著；亚贤译 1995
- 《自杀风险管理手册》（加）库奇，（加）切希尔著 2011
- 《柴油发动机系统设计》（美）辛千凡著；（美）辛千凡译 2015
- 《WIESEL骨科手术技巧 足踝外科》（美）Sam W. Wiesel总主编；（美）Mark E. Easley主编；张长青总主译 2015
- 《永续生活 16个家的创想物语》（日）意迪著；林叶，袁璟译 2014
- 《创伤骨科》（美）威塞尔主编；张长青总主译 2015
- 《WIESEL骨科手术技巧 成人重建外科》（美）威塞尔（Sam W. Wiesel）总主编；（美）Javad Parvizi，Richard H. Rothman主编；张长青总主译 2015
- 《结直肠癌规范化诊疗 国际进展与中国实践荟萃》陈功，邱萌，张俊主编；袁瑛，黄鼎智副主编 2015