AN INTRODUCTION TO FORMAL PROGRAM VERIFICATIONPDF电子书下载
- 电子书积分：11 积分如何计算积分？
- 作 者：ALI MILI
- 出 版 社：VAN NOSTRAND REINHOLD COMPANY
- 出版年份：1985
- ISBN：0442263228
- 页数：291 页
图书介绍：
《AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION》目录
标签：
相关图书
作者其它书籍
- 《配电系统可靠性 实践方法及应用》Ali A. Chowdhury 等 2013
- 《体部成像的正常变异与误判》（美）阿里·什库达（Ali Shirkhoda）主编；程敬亮，李树新主译 2004
- 《美国《统一商法典》及其正式评述 第2卷》ALI（美国法学会），NCCUSL（美国统一州法委员会）著；李昊等译 2005
- 《微流动 基础与模拟 fundamentals and simulation》（美）乔治·埃姆·卡尼亚达克斯（George Em Karniadakis），（美）埃里·柏斯考克（Ali Beskok）著；中国科学院过程工程研究所多相反应重点实验室多相复杂系统与多尺度方法课题组译 2006
- 《欠平衡钻井气体体积流量的计算》（美）Boyun Guo，（美）Ali Ghalambor编著；胥思平译 2006
- 《例解回归分析 第3版》（美）Samprit Chatterjee，（美）Ali s.Hadi，（美）Bertram Price等著 郑明，徐勤丰，胡瑾瑾翻译 2004
- 《Bea Weblogic Server管理指南》（美）Ali Akbar，（美）Keyur Shah著；邱仲潘等译 2003
- 《饭店世界》（英）阿莉·史密斯（Ali Smith）著；刘乔译 2002
- 《LITIGATING INTELLECTUAL PROPERTY RIGHTS DISPUTES CROSS-BORDER:EU REGULATIONS》ALI PRINCIPLES 2010
- 《Survey of economics second edition》Ali Hekmat 1996
出版社其它书籍
- 《LTE-Advanced 面向IMT-Advanced的3GPP解决方案》（美）霍玛，（美）托斯卡拉编著；吕召彪等译 2014
- 《TD-LTE网络部署运营关键技术》李岳梦，赵绍刚编著 2014
- 《J2EE技术实践》贾素玲等编译 2005
- 《JSP开发技术：指导手册》王强等编译 2005
- 《基于Oracle的数据库系统》Comp-U-LearnTechIndiaLtd，卢根等编译 2005
- 《HTML设计·指导手册》王强，贾素玲，郑晋梅等编译 2007
- 《COMP WRITE》 2011
- 《VAN NOSTRAND'S SCIENTIFIC ENCYCLOPEDIA TENTH EDITION VOLUME 1》GLENN D.CONSIDINE 2008
- 《VAN NOSTRAND'S SCIENTIFIC ENCYCLOPEDIA》H-Z 2222
- 《VAN NOSTRAND'S SCIENTIFIC ENCYCLOPEDIA THIRD EDITION》STATISTICS ZOOLOGY 2222