大拱桥
登录
搜索选项：
搜索帖子
课程
公选课
珠区图书馆
百货商场
图书馆
大拱桥--暨南大学学生门户
»
图书馆
» 搜索包含 Leuschel 的图书(共3本)
Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
0
索取号：
作者：
Derrick
、
John.
、
Fitzgerald
、
John.
、
Gnesi
、
Stefania.
、
Khurshid
、
Sarfraz.
、
Leuschel
、
Michael.
、
Reeves
、
Steve.
、
Riccobene
、
Elvinia.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
0
索取号：
作者：
Boer
、
Frank S.
、
Bonsangue
、
Marcello M.
、
Hallerstede
、
Stefan.
、
Leuschel
、
Michael.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, D眉sseldorf, Germany, February 16-19, 2009. Proceedings
0
索取号：
作者：
Leuschel
、
Michael.
、
Wehrheim
、
Heike.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类
对外联络处
体育学院
经济学院
南校区管理委员会
数字校园
南校区管委会
暨南大学校报
下载中心
规章制度
信息公示
创新论坛
教务动态
创新人才
课程中心
核心团队
通知
电气信息学院
四海书院
国际商学院
人文学院
粤公网安备 44030602003680号
粤公网安备 44030602003680号