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.