Formal logical methods for system security and correctness :: ISBN 9781586038434 :: IOS Press 2008 :: OBNB, the Open British National Bibliography

Publication Data

Title Formal logical methods for system security and correctness
Contributors Orna Grumberg, Tobias Nipkow, Christian Pfaller, Christian Pfaller
Publisher IOS Press
Publication date 2008
Publication location Amsterdam
Language English

Descriptive Notes

"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.
"Published in cooperation with NATO Public Diplomacy Division"--T.p.

Topics

Computer security :: Congresses
Computer logic :: Congresses

Catalogue Data

OBNB ID GBA892646
ISBN 10 1586038435
ISBN 13 9781586038434
Type BibliographicResource, Book
Dewey Classification 005.8

ISBD

P1053 ix, 319 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal logical methods for system security and correctness. ISBN 9781586038434. Published by IOS Press in 2008. Publication and catalogue information, links to buy online and reader comments.