Logics and languages for reliability and security

Author：edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.
Publisher：IOS Press
ISBN：9781607501008 (electronic bk.) ; 9781607500995
Publication Date：2010
其他作者：Esparza, Javier. ; Spanfelner, Bernd. ; Grumberg, Orna.
語言：zh
出版地：Amsterdam :
Description

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

Search Same Author