Engineering methods and tools for software safety and security

Author:edited by Manfred Broy, Wassiou Sitou and Tony Hoare.
Publisher:IOS Press
ISBN:9781607504108 (electronic bk.) ; 9781586039769
Publication Date:c2009.
其他作者:Broy, M. ; Sitou, Wassiou. ; Hoare, C. A. R.
語言:zh
出版地:Amsterdam, Netherlands ; Washington, DC :
Description

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