英邓肯·安德森，劳埃德·克拉克，斯蒂芬·华尔什著2009 年出版281 页ISBN：9787509204429
《东线战场》翔实纪录了第二次世界大战中苏德之间的残酷战斗，书中附有大量战争中用到的车辆、武器装备和士兵制服的图片，以及展示各方部队进攻方向的地图。正文由各研究领域权威专家撰写，并为所涉及的战役和事...
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
