形式方法－获得完美信息技术 /Formal Methods--Getting IT Right

形式方法－获得完美信息技术 /Formal Methods--Getting IT Right

作者： Lars-Henrik Eriksson著 出 版 社： 湖南文艺出版社 出版时间： 2002-12-1字数：版次： 1页数： 625印刷时间： 2002/12/01开本：印次：纸张： 胶版纸

形式方法应用的杠杆作用： ISoLA 2004/会议论文集 Leveraging applications of formal methods

作者： Tiziana Maragria，Bernhard Steffen 著 出 版 社： 湖南文艺出版社 出版时间： 2004-12-1字数：版次： 1页数： 196印刷时间： 2006/12/

Web服务与形式方法/Web services and formal methods

作者： Mario Bravetti著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 286印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B

组件和对象用形式方法/Formal methods for components and objects

作者： Frank S. de Boer 著 出 版 社： 湖北辞书出版社 出版时间： 2006-12-1字数：版次： 1页数： 429印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I

(综合形式方法/会议录)Integrated formal methods

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

形式方法和软件工程LNCS-4260: Formal methods and software engineering

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

Michael Allen's E-Learning Library: Creating Successful E-Learning : A Rapid System For Getting It Right First Time, Every Time (平装)

基本信息出版社:Jossey Bass (2006年5月19日)丛书名:Michael Allen's E-Library平装:220页正文语种:英语ISBN:0787983004条形码:978078

Tell Me About It: Lying, Sulking, Getting Fat... and 56 Other Things Not to Do While Looking for Love (平装)

基本信息出版社:Miramax (2001年1月10日)平装:192页ISBN:078686673X条形码:9780786866731产品尺寸及重量:20.1 x 13.7 x 1.3 cm ; 20

It's Getting Later All the Time: (平装)

基本信息出版社:NEW DIRECTIONS (2006年5月1日)平装:192页ISBN:0811215466条形码:9780811215466产品尺寸及重量:19.9 x 15 x 1.3 cm

The Management Myth: Why the Experts Keep Getting It Wrong (精装)

基本信息出版社:W W NORTON & CO INC (2009年8月1日)精装:352页ISBN:0393065537条形码:9780393065534产品尺寸及重量:23.6 x 16 x 3.