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

Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

0
索取号：
作者：Liu、 Zhiming.、Ravn、 Anders P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

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

Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

0
索取号：
作者：Bouajjani、 Ahmed.、Maler、 Oded.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Hardware and Software: Verification and Testing [electronic resource] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

0
索取号：
作者：Chockler、 Hana.、Hu、 Alan J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

0
索取号：
作者：Jones、 Neil D.、M眉ller-Olm、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

0
索取号：
作者：Leucker、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Metrics for Process Models [electronic resource] : Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness

0
索取号：
作者：Mendling、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

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

Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

0
索取号：
作者：Cha、 Sungdeok (Steve).、Choi、 Jin-Young.、Kim、 Moonzoo.、Lee、 Insup.、Viswanathan、 Mahesh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Operational Semantics and Verification of Security Protocols [electronic resource]

0
索取号：
作者：Cremers、 Cas.、Mauw、 Sjouke.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

0
索取号：
作者：Logozzo、 Francesco.、Peled、 Doron A.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

0
索取号：
作者：Yorav、 Karen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

0
索取号：
作者：Sokolsky、 Oleg.、Ta艧谋ran、 Serdar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Methods in Transport: Verification and Validation [electronic resource]

0
索取号：
作者：Graziani、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22鈥⵬ 2007 Proceedings

0
索取号：
作者：Namjoshi、 Kedar S.、Yoneda、 Tomohiro.、Higashino、 Teruo.、Okamura、 Yoshio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification

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