Software safety and security : tools for analysis and verification

Author：edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
Publisher：IOS Press
ISBN：9781614990284 (electronic bk.) ; 9781614990277
Publication Date：2012
其他作者：Nipkow, Tobias ; Grumberg, Orna. ; Hauptmann, Benedikt.
語言：zh
出版地：Washington, D.C. :
Description

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

Search Same Author