Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Last edited by WorkBot
January 29, 2010 | History

Formal logical methods for system security and correctness 1 edition

Formal logical methods for system security and correctness
NATO Advanced Study Institute ...

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Yikes! There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

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

Published 2008 by IOS Press in Amsterdam, Netherlands, Washington, DC .
Written in English.

Edition 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.

Includes bibliographical references and index.

Series
NATO security through science series -- v. 14
Genre
Congresses.

Classifications

Library of Congress
QA76.9.A25 N377 2007

The Physical Object

Pagination
ix, 318 p. :
Number of pages
318

ID Numbers

Open Library
OL22565939M
ISBN 10
1586038435
ISBN 13
9781586038434
LC Control Number
2008922610
Library Thing
7239768
Goodreads
5244528

History Created December 11, 2009 · 2 revisions Download catalog record: RDF / JSON

January 29, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page