Software and systems safety : specification and verification

Author：edited by Manfred Broy, Christian Leuxner and Tony Hoare.
Publisher：IOS Press
ISBN：9781607507116 (electronic bk.) ; 9781607507109
Publication Date：c2011.
其他作者：Broy, M. ; Leuxner, Christian. ; Hoare, C. A. R.
語言：zh
出版地：Amsterdam ; Washington, D.C. :
Description

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

Search Same Author