ABRAHAM PELED 相关电子书下载

ABRAHAM PELED2222 年出版304 页ISBN：0471019410

Yael peled2017 年出版0 页ISBN：

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

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

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

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

Havazelet Bianco-Peled ; Maya Davidovich-Pinhas2015 年出版300 页ISBN：9814463981

（美）阿布拉罕·派斯（Abraham Pais）著；戈革译2001 年出版837 页ISBN：7100031168

（德）阿布拉罕（M.Abraham），（德）贝克尔（R.Becker）撰；杨肇燫译1949 年出版340 页ISBN：

（美）亚伯拉罕·西尔伯沙茨（Abraham Silberschatz）2018 年出版608 页ISBN：

（美）保罗·亚伯拉罕（P.Abraham），（美）达芙尼·麦凯（D.Mackey）著2000 年出版351 页ISBN：7801092422

editor by Abraham Bogoch1973 年出版1358 页ISBN：0070063656