Search Books

搜尋「edited by Manfred Broy ... [et al.].」的結果：找到 37,089 本書籍， 0 個書架

書籍 (37089)
書架 (0)

Engineering dependable software systems 館藏

proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems ; edited by Manfred Broy, Technische Universitat Munchen, Germany, Doron Peled, Bar Ilan University, Ramat Gan, Israel, and Georg Kalus, Technishe Universitat Munc

IOS Press : published in cooperation with NATO Emerging Security Challenges Division

[2013]

ISBN 9781614992066 ; 1614992061

Engineering methods and tools for software safety and security 館藏

edited by Manfred Broy, Wassiou Sitou and Tony Hoare.

IOS Press

c2009.

ISBN 9781607504108 (electronic bk.) ; 9781586039769

Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 館藏

edited by Manfred Broy ... [et al.].

Springer

2005

ISBN 9781402035326 (electronic bk.) ; 9781402035302 (paper)

Model-Based Testing of Reactive Systems : Advanced Lectures 館藏

edited by Manfred Broy ... [et al.].

Springer-Verlag GmbH.

2005

ISBN 9783540320371 (electronic bk.) ; 9783540262787 (paper)

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers 館藏

edited by Manfred Broy, Ingolf H. Kruger, Michael Meisinger.

Springer-Verlag Berlin Heidelberg

2008

ISBN 9783540709305 (electronic bk.) ; 9783540709299 (paper)

Software and systems safety : specification and verification 館藏

edited by Manfred Broy, Christian Leuxner and Tony Hoare.

IOS Press

c2011.

ISBN 9781607507116 (electronic bk.) ; 9781607507109

書名	作者	出版社	出版日期	來源	操作
Engineering dependable software systems ISBN 9781614992066 ; 1614992061	proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems ; edited by Manfred Broy, Technische Universitat Munchen, Germany, Doron Peled, Bar Ilan University, Ramat Gan, Israel, and Georg Kalus, Technishe Universitat Munc	IOS Press : published in cooperation with NATO Emerging Security Challenges Division	[2013]	館藏	View
Engineering methods and tools for software safety and security ISBN 9781607504108 (electronic bk.) ; 9781586039769	edited by Manfred Broy, Wassiou Sitou and Tony Hoare.	IOS Press	c2009.	館藏	View
Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 ISBN 9781402035326 (electronic bk.) ; 9781402035302 (paper)	edited by Manfred Broy ... [et al.].	Springer	2005	館藏	View
Model-Based Testing of Reactive Systems : Advanced Lectures ISBN 9783540320371 (electronic bk.) ; 9783540262787 (paper)	edited by Manfred Broy ... [et al.].	Springer-Verlag GmbH.	2005	館藏	View
Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers ISBN 9783540709305 (electronic bk.) ; 9783540709299 (paper)	edited by Manfred Broy, Ingolf H. Kruger, Michael Meisinger.	Springer-Verlag Berlin Heidelberg	2008	館藏	View
Software and systems safety : specification and verification ISBN 9781607507116 (electronic bk.) ; 9781607507109	edited by Manfred Broy, Christian Leuxner and Tony Hoare.	IOS Press	c2011.	館藏	View

查看全部 37,089 本書籍

沒有找到相關書架

請嘗試其他關鍵字