大拱桥
登录
搜索选项：
搜索帖子
课程
公选课
珠区图书馆
百货商场
图书馆
大拱桥--暨南大学学生门户
»
图书馆
» 搜索包含 Broy 的图书(共5本)
Model-Based Engineering of Embedded Systems [electronic resource] : The SPES 2020 Methodology
0
索取号：
作者：
Pohl
、
Klaus.
、
H枚nninger
、
Harald.
、
Achatz
、
Reinhold.
、
Broy
、
Manfred.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
0
索取号：
作者：
Broy
、
Manfred.
、
Kr眉ger
、
Ingolf H.
、
Meisinger
、
Michael.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Automotive Software-Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
0
索取号：
作者：
Broy
、
Manfred.
、
Kr眉ger
、
Ingolf H.
、
Meisinger
、
Michael.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures
0
索取号：
作者：
Broy
、
Manfred.
、
Jonsson
、
Bengt.
、
Katoen
、
Joost-Pieter.
、
Leucker
、
Martin.
、
Pretschner
、
Alexander.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Engineering Theories of Software Intensive Systems [electronic resource] : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3鈥ᵠAugust 2004
0
索取号：
作者：
Broy
、
Manfred.
、
Gr眉nbauer
、
Johannes.
、
Harel
、
David.
、
Hoare
、
Tony.
、
SpringerLink (Online service)
、
出版社：Dordrecht : Springer Netherlands, 2005.
最近添加的分类
对外联络处
体育学院
经济学院
南校区管理委员会
数字校园
南校区管委会
暨南大学校报
下载中心
规章制度
信息公示
创新论坛
教务动态
创新人才
课程中心
核心团队
通知
电气信息学院
四海书院
国际商学院
人文学院
粤公网安备 44030602003680号
粤公网安备 44030602003680号