Software and systems safety : specification and verification

作者：edited by Manfred Broy, Christian Leuxner and Tony Hoare.

出版社：IOS Press

ISBN：9781607507116 (electronic bk.) ; 9781607507109

出版日期：c2011.

其他作者：Broy, M. ; Leuxner, Christian. ; Hoare, C. A. R.

語言：zh

出版地：Amsterdam ; Washington, D.C. :

ix, 285 p. ::ill. ;:25 cm.

搜尋同作者