大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 verification 的图书(共127本)

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

0
索取号：
作者：Calinescu、 Radu.、Jackson、 Ethan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

0
索取号：
作者：Barner、 Sharon.、Harris、 Ian.、Kroening、 Daniel.、Raz、 Orna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Hardware and Software: Verification and Testing [electronic resource] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

0
索取号：
作者：Namjoshi、 Kedar.、Zeller、 Andreas.、Ziv、 Avi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

0
索取号：
作者：Jhala、 Ranjit.、Schmidt、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday

0
索取号：
作者：Siegler、 Simon.、Wasser、 Nathan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

0
索取号：
作者：Barringer、 Howard.、Falcone、 Ylies.、Finkbeiner、 Bernd.、Havelund、 Klaus.、Lee、 Insup.、Pace、 Gordon.、Ro艧u、 Grigore.、Sokolsky、 Oleg.、Tillmann、 Nikolai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

0
索取号：
作者：Bouajjani、 Ahmed.、Chin、 Wei-Ngan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Verification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Design Models

0
索取号：
作者：Debbabi、 Mourad.、Hassa茂ne、 Fawzi.、Jarraya、 Yosr.、Soeanu、 Andrei.、Alawneh、 Luay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Specification and Verification of Declarative Open Interaction Models [electronic resource] : A Logic-Based Approach

0
索取号：
作者：Montali、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

0
索取号：
作者：Touili、 Tayssir.、Cook、 Byron.、Jackson、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Time for Verification [electronic resource] : Essays in Memory of Amir Pnueli

0
索取号：
作者：Manna、 Zohar.、Peled、 Doron A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Hermenegildo、 Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Semantic Methods for Execution-level Business Process Modeling [electronic resource] : Modeling Support Through Process Verification and Service Composition

0
索取号：
作者：Weber、 Ingo M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院