Yael peled 相关电子书下载

Yael peled2017 年出版0 页ISBN：

Pele With R.L Fish著；曾子译1979 年出版337 页ISBN：

ABRAHAM PELED2222 年出版304 页ISBN：0471019410

（美）Matt Lake，（美）Yael Li-Ron著；马俊英等译1996 年出版194 页ISBN：750533400X

YAEL REISNER WITH FLEUR WATSON2010 年出版264 页ISBN：9780470997840

MARIA PELE & CARMEN CIMPEANU2012 年出版319 页ISBN：1845646660

YAEL RONEN2010 年出版533 页ISBN：1841137561

YAEL MASCHLER2009 年出版258 页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...