大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 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.