Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.

• 作者： NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany) (2007 :
• 其他作者：
  • Grumberg, Orna.
  • Nipkow, Tobias 1958-
  • Pfaller, Christian.
• 其他題名：
  • NATO security through science series..
• 出版： Amsterdam, Netherlands ;Washington, DC : IOS Press c2008.
• 叢書名： NATO security through science series. D, Information and communication security ;v. 14
• 主題： Computer logic , Computer security. , Electronic books
• ISBN： 9781586038434 、 9781607503156
• URL： click for full text (IOS Press)
  
• More
• 一般註：Electronic reproduction
• 書目註：Includes bibliographical references and index.
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 系統號： 005166210 | 機讀編目格式