Formal logical methods for system security and correctness

Author：edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
Publisher：IOS Press
ISBN：9781607503156 (electronic bk.) ; 9781586038434
Publication Date：c2008.
其他作者：Grumberg, Orna. ; Nipkow, Tobias ; Pfaller, Christian.
語言：zh
出版地：Amsterdam, Netherlands ; Washington, DC :
Description

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

Search Same Author