Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
2008
QA76.9.A25 N3754 2007eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
ISBN
9781586038434
1586038435
1586038435
Publication Details
Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008.
Language
English
Description
ix, 318 p. : ill.
Call Number
QA76.9.A25 N3754 2007eb
Note
"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.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Series
NATO security through science series. D, Information and communication security ; v. 14.
Linked Resources
Record Appears in