M·A 相关电子书下载

J.D.WILLIAMS AND A.M.GEDDES2222 年出版420 页ISBN：0306382253

PEVERILL SQUIRE JAMES M.LINDSAY CARY R.COVINGTON ERIC R.A.N.SMITH1997 年出版442 页ISBN：

M A Pai2004 年出版291 页ISBN：

阿德尔海德·A.M.尼科尔（ADELHEID A.M.NICOL）2013 年出版0 页ISBN：

M.A.NAIMARK1964 年出版450 页ISBN：

M.A.SLEIGH2222 年出版242 页ISBN：

A.M.MICHELSON2222 年出版622 页ISBN：

JERRY D.EASTIN F.A.HASKINS C.Y.SULLIVAN C.H.M.VANBAVEL2222 年出版396 页ISBN：

（美）A·米斯拉希，M·沙利文著；李毓芝等译1987 年出版541 页ISBN：7304001070

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

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