Logics and languages for reliability and security

作者：edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.
出版社：IOS Press
ISBN：9781607501008 (electronic bk.) ; 9781607500995
出版日期：2010
其他作者：Esparza, Javier. ; Spanfelner, Bernd. ; Grumberg, Orna.
語言：zh
出版地：Amsterdam :
內容簡介

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

搜尋同作者