Lecture Notes in Computer Science 3236 Applying Formal Methods:Testing 相关电子书下载

Yang2012 年出版432 页ISBN：9781466619302;1466619309

ERIC HEINZE2003 年出版143 页ISBN：075462319x

XINSHI ZHANG2010 年出版175 页ISBN：9787030256393

本书从我国国情出发，面向未来，综合考虑需求、资源、环境、科技和经济等多方面因素，在近期突出生物质能源的前提下，明晰我国生物质资源未来发展，前瞻性研编至2050年科技发展路线图。重点涵盖六个方面的内容：光合.....

（美）史蒂芬·奥斯泰德（Steven N. Austad）著；洪兰译2007 年出版215 页ISBN：7563365850

人为什么会老化？在了解此问题之前，我们有必要先了解我们的身体如何老化，乃至最终死亡。作者史蒂芬·奥斯泰德在本书中，以他的生花妙笔，从演化生物学、比较动物学、人类学和基础医学等领域，带领我们观看老化的过.....

（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

RONALD L.GEREN2016 年出版434 页ISBN：

江帆编2003 年出版0 页ISBN：

[美]Craig Larman 著2004 年出版627 页ISBN：7508322045

本书是当今最畅销的介绍面向对象的分析/设计、迭代开发和UML的书籍。本书的目的是帮助开发人员或学生掌握关于面向对象的分析和设计的核心原理和最佳实践，并将它们真正应用到软件设计中去。本书的作者是颇有...

[美]Craig Larman著2004 年出版627 页ISBN：7508322045

James L.Roberts1970 年出版69 页ISBN：