大拱桥
登录
搜索选项：
搜索帖子
课程
公选课
珠区图书馆
百货商场
图书馆
大拱桥--暨南大学学生门户
»
图书馆
» 搜索包含 Havelund 的图书(共4本)
NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
0
索取号：
作者：
Bobaru
、
Mihaela.
、
Havelund
、
Klaus.
、
Holzmann
、
Gerard J.
、
Joshi
、
Rajeev.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
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.
Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
0
索取号：
作者：
Havelund
、
Klaus.
、
Majumdar
、
Rupak.
、
Palsberg
、
Jens.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
0
索取号：
作者：
Havelund
、
Klaus.
、
N煤帽ez
、
Manuel.
、
Ro艧u
、
Grigore.
、
Wolff
、
Burkhart.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类
对外联络处
体育学院
经济学院
南校区管理委员会
数字校园
南校区管委会
暨南大学校报
下载中心
规章制度
信息公示
创新论坛
教务动态
创新人才
课程中心
核心团队
通知
电气信息学院
四海书院
国际商学院
人文学院
粤公网安备 44030602003680号
粤公网安备 44030602003680号