计算机辅助验证 Computer aided verification

计算机辅助验证 Computer aided verification

作者： Ed Brinksma 著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 626印刷时间： 2002/12/01开本：印次：纸张： 胶版纸I S B N

Computer-Aided Modeling of Reactive Systems (精装)

基本信息出版社:Wiley-Interscience (2008年4月11日)外文书名:反应系统的计算机辅助建模精装:268页正文语种:英语ISBN:0470274956条形码:97804702749

计算机辅助第二语言研究方法与应用(附光盘)(Computer-Aided Second Language Research Methods and Their Applications)

基本信息·出版社：外语教学与研究出版社 ·页码：288 页 ·出版日期：2007年 ·ISBN：9787560065465 ·条形码：9787560065465 ·包装版本：第1版 ·装帧：平装 ·

计算机辅助系统理论EUROCAST 2001Computer Aided Systems Theory - EUROCAST 2001

作者： Roberto Moreno-Diaz等编 出 版 社： Oversea Publishing House 出版时间： 2001-12-1字数：版次： 1页数： 667印刷时间： 2001/1

验证与分析的自动化技术 Automated technology for verification and analysis

作者： Susanne Graf 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 540印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B

专用集成电路时序验证(国外大学优秀教材,微电子类系列(影印版))(Timing Verification of Application-Specific Integrated Circuits(ASICs))

基本信息·出版社：清华大学出版社 ·页码：189 页 ·出版日期：2009年11月 ·ISBN：9787302213420 ·条形码：9787302213420 ·版本：第1版 ·装帧：平装 ·开本

( 建模与验证并行程序)Modeling and Verification of Parallel Processes

作者： Franck Cassez著 出 版 社： 湖南文艺出版社 出版时间： 2000-12-1字数：版次： 1页数： 222印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N

验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio

作者： Agostino Cortesi著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 330印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S

正确硬件设计与验证方法 Correct hardware design and verification methods

作者： Tiziana Margaria著 出 版 社： 湖南文艺出版社 出版时间： 2001-12-1字数：版次： 1页数： 482印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S