（苏）A·л·科瓦廖夫 H·K·科恰罗斯 A·A·科洛波夫著相关电子书下载

a project by Michele Wallace; edited by Gina Dent1998 年出版374 页ISBN：1565844599

（法）雷诺阿（P.A.Renoir）绘；安念念，陈陶玉编译1981 年出版49 页ISBN：8073·50177

ENCYCLOPEDIC INDEX A-H1989 年出版127 页ISBN：9576270006

NEIL A.CAMPBELL LAWRENCE G.MITCHELL JANE B.REECE1997 年出版846 页ISBN：0805309209

R.A.W.JOHNSTONE1978 年出版450 页ISBN：0851862985

W.DAVID KELTON RANDALL P.SADOWSKI DEBORAH A.SADOWSKI1998 年出版547 页ISBN：0075612593

PLEASE A QUICK REVIEW OF MATH FOR INTRODUCTORY STATISTICS1996 年出版161 页ISBN：0534506917

斯托克曼第三（J.A.StackmanⅢ）等著；吴梓梁等译1982 年出版196 页ISBN：14182·77

（苏）曼苏洛夫（Н.Н.Мансуров），（苏）波波夫（В.С.Попов）著；张冠生等译1955 年出版507 页ISBN：15010·106

（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...