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 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)

書名	作者	出版社	出版日期	來源	操作
Software system reliability and security ISBN 9781586037314 (electronic bk.) ; 9781586037314 (hd.bd.) ; 1586037315 (hd.bd.)	edited by Manfred Broy, Johannes Gr鋎nbauer and Tony Hoare.	IOS Press	c2007.	館藏	檢視
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.	館藏	檢視
Software and systems safety : specification and verification ISBN 9781607507116 (electronic bk.) ; 9781607507109	edited by Manfred Broy, Christian Leuxner and Tony Hoare.	IOS Press	c2011.	館藏	檢視
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]	館藏	檢視
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	館藏	檢視
Model-Based Testing of Reactive Systems : Advanced Lectures ISBN 9783540320371 (electronic bk.) ; 9783540262787 (paper)	edited by Manfred Broy ... [et al.].	Springer-Verlag GmbH.	2005	館藏	檢視

查看全部 37,171 本書籍

沒有找到相關書架

請嘗試其他關鍵字