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

New Feature: You can now embed Open Library books on your website!   Learn More
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 with:


Buy this book

Amazon $49.95 (used)
Better World Books

Uh oh. 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