Formal logical methods for system security and correctness

作者：edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
出版社：IOS Press
ISBN：9781607503156 (electronic bk.) ; 9781586038434
出版日期：c2008.
其他作者：Grumberg, Orna. ; Nipkow, Tobias ; Pfaller, Christian.
語言：zh
出版地：Amsterdam, Netherlands ; Washington, DC :
內容簡介

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

搜尋同作者