高新岩译相关电子书下载

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

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

中共天津市委滨海高新技术产业开发区工作委员会，天津滨海高新技术产业开发区管理委员会主编2009 年出版214 页ISBN：9787561830895

本书记载了天津高新区涌现出来的科技专家领军人物。

长春高新技术产业开发区管理委员会主办；长春高新技术产业开发区地方志编纂委员会编2011 年出版353 页ISBN：7206062001

（法）Laurent Broomhead，（法）Daniel Sassier著；（法）Eddy Krahenbuhl绘图马科岩译2000 年出版69 页ISBN：7534114268

托比·谢利著；宋岩译2006 年出版300 页ISBN：9861770194

（日）枢梁著；梁晓岩译2016 年出版177 页ISBN：7539873619

（日）枢梁著；梁晓岩译2016 年出版177 页ISBN：7539873596

（日）枢梁著；梁晓岩译2016 年出版177 页ISBN：7539873602

霍金斯，G.A.著；李毓汉，张岩译1975 年出版458 页ISBN：

（美）史蒂夫·斯耶格伦著，郝子岩译2008 年出版176 页ISBN：9787106029388

本书为长篇小说。