M·A米海耶夫著相关电子书下载

（美）A·J·M·斯宾塞1982 年出版142 页ISBN：13196·095

（美）D·休斯·哈雷特，A·M·克莱逊1997 年出版689 页ISBN：7040063948

Geoffrey Marshall Kenneth M.A.Perry；王大同，郭仓译1957 年出版3085 页ISBN：14120·203

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

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

H.米海伊洛夫著1950 年出版148 页ISBN：

（苏联）A·T·戈洛万 П·Г·格鲁京斯基 Г·H·彼特罗夫 A·M·费多谢也夫等编；林文铮等译1959 年出版547 页ISBN：15143·995

F.A.M.Webster原著；沈明珍译1935 年出版142 页ISBN：

l.M.KOLTHOFF H.A.LALTLNEN1958 年出版198 页ISBN：

ANNE M.COZZOLINO TRACEE L.SCOTT-OTIS ROBERT A.RAVELO1992 年出版128 页ISBN：

（美）Rose M.Kelleher，（美）Thomas A.Jones著；武坤等译2000 年出版316 页ISBN：7111083342