验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio
验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio作者： Agostino Cortesi著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 330印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S
验证与分析的自动化技术 Automated technology for verification and analysis作者： Susanne Graf 著 出 版 社： 湖南文艺出版社 出版时间： 2006-12-1字数：版次： 1页数： 540印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B
( 建模与验证并行程序)Modeling and Verification of Parallel Processes作者： Franck Cassez著 出 版 社： 湖南文艺出版社 出版时间： 2000-12-1字数：版次： 1页数： 222印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N
Propositional and predicate calculus : a model of argument命题与谓词演算：论证模型作者： Derek Goldrei著 出 版 社： 出版时间： 2005-8-1字数：版次： 1页数： 315印刷时间： 2005/08/01开本： 16开印次： 1纸张： 胶版纸I S B N
应力-强度模型及其广义化：理论与应用 STRESS-STRENGTH MODEL AND ITS GENERALIZATIONS作者： Samuel Kotz著 出 版 社： Penguin 出版时间： 2003-12-1字数：版次： 1页数： 253印刷时间： 2003/03/01开本：印次：纸张： 胶版纸I S B N
抽象分析基础（Fundamentals of Abstract Analysis）作者： 肖建中，李刚编著 出 版 社： 清华大学出版社 出版时间： 2009-9-1字数： 530000版次： 1页数： 436印刷时间： 2009-9-1开本： 16开印次： 1纸张： 胶版纸I S
Elements of abstract analysis抽象分析原理作者： 出 版 社： 出版时间： 2002-12-1字数：版次： 1页数： 298印刷时间： 2002/12/01开本： 16开印次： 1纸张： 胶版纸I S B N ： 97818523342
Checking Your Grammar: And Getting It Right (学校和图书馆装订)基本信息出版社:SAN VAL INC (1994年8月1日)学校和图书馆装订:139页ISBN:0613512960条形码:9780613512961产品尺寸及重量:21.9 x 16 x 1.4
模型驱动软件开发 Model-Driven Software Development: Technology, Engineering, Management作者： Thomas Stahl 著 出 版 社： John Wiley & Sons 出版时间： 2006-12-1字数：版次： 1页数： 428印刷时间： 2006/05/01开本：印次：纸张：
商品特性1：ABS塑料全封闭竞速底盘，行驶更稳定。超动感的外型，原车1:16完美比例缩放，带LED前大灯。前进时前车灯亮起，后退时后车灯亮起！2：配置超强的高速马达可完成漂移（在电池电量充足的情况下）