Software safety and security : tools for analysis and verification

作者：edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
出版社：IOS Press
ISBN：9781614990284 (electronic bk.) ; 9781614990277
出版日期：2012
其他作者：Nipkow, Tobias ; Grumberg, Orna. ; Hauptmann, Benedikt.
語言：zh
出版地：Washington, D.C. :
內容簡介

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

搜尋同作者