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

• Superior document: NATO security through science series. D, Information and communication security, v. 14
• Author: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany)
• TeilnehmendeR: Grumberg, Orna.; Nipkow, Tobias, 1958-; Pfaller, Christian.; ProQuest (Firm)
• سنة النشر: 2008
• اللغة: English
• سلاسل: NATO security through science series. Information and communication security ; v. 14.
• وصف مادي: ix, 318 p. :; ill.
• ملاحظات: "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso.
• بيبلوغرافيا: Includes bibliographical references and index.
• ردمك: 9781586038434; 1586038435
• تدمد: 1874-6268
• Hierarchical level: Monograph
• Statement of Responsibility: edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.