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

Simulation and Verification of Electronic and Biological Systems [electronic resource]

0
索取号：
作者：Li、 Peng.、Silveira、 Lu铆s Miguel.、Feldmann、 Peter.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2011.

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's [electronic resource] : Selected Contributions on Specification, Design, and Verification from FDL 2009

0
索取号：
作者：Borrione、 Dominique.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Generalized Continua and Dislocation Theory [electronic resource] : Theoretical Concepts, Computational Methods and Experimental Verification

0
索取号：
作者：Sansour、 Carlo.、Skatulla、 Sebastian.、SpringerLink (Online service)、
出版社：Vienna : Springer Vienna, 2012.

Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

0
索取号：
作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

0
索取号：
作者：H盲hnle、 Reiner.、Knoop、 Jens.、Margaria、 Tiziana.、Schreiner、 Dietmar.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

0
索取号：
作者：Eder、 Kerstin.、Louren莽o、 Jo茫o.、Shehory、 Onn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

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

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

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

Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

0
索取号：
作者：Chakraborty、 Supratik.、Mukund、 Madhavan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、Damiani、 Ferruccio.、Gurov、 Dilian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

0
索取号：
作者：Madhusudan、 P.、Seshia、 Sanjit A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

0
索取号：
作者：Khurshid、 Sarfraz.、Sen、 Koushik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

0
索取号：
作者：Kuncak、 Viktor.、Rybalchenko、 Andrey.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

0
索取号：
作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

0
索取号：
作者：Bultan、 Tevfik.、Hsiung、 Pao-Ann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

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