THOMAS N.INGRAM RAYMOND W.LAFORGE RAMON A.AVILA CHARLES H.SCHWEPKER JR. MICHAEL R.WILLIAMS著相关电子书下载

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

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

（美）查尔斯·鲁亚斯（Charles Ruas）著；粟旺等译1995 年出版309 页ISBN：750010359X

（英）达尔文（Charles Robert Darwin）著；张肇骞译1957 年出版102 页ISBN：13031·447

（新加坡）Thomas S.C.Farrell著；余艳译2005 年出版161 页ISBN：7501946264

（美）Thomas A.Wadlow著；潇湘工作室译2000 年出版174 页ISBN：711508761X

KURT THOMAS著1959 年出版378 页ISBN：

（美）彻里（Raymond Cherry）原著；钟越光译1978 年出版444 页ISBN：

RAYMOND A. SERWAY JERRY S. FAUGHN1985 年出版836 页ISBN：0030623782

RAYMOND C.BARTLETT1974 年出版6 页ISBN：

RAYMOND CHANG1986 年出版1024 页ISBN：0394341228