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

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

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

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

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

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

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

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

高效计算模式及应用前沿ADVANCES IN THE EFFICIENCY OF COMPUTATIONAL METHODS AND APPLICATIONS

作者： Ioannis K. Argyros 编 出 版 社： Penguin 出版时间： 2000-12-1字数：版次： 1页数： 546印刷时间： 2000/07/01开本：印次： 1纸张： 胶

Methods of Biochemical Analysis, Green Fluorescent Protein: Properties, Applications and Protocols (精装)

基本信息出版社:John Wiley & Sons Inc (2005年10月28日)外文书名:绿色荧光蛋白: 特性、应用与协议丛书名:Methods of Biochemical Analysis精

FM 2006：形式方法会议/会议录FM 2006

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