An edition of Formal logical methods for system security and correctness (2008)

Formal logical methods for system security and correctness

by NATO Advanced Study Institute on Formal ...

Locate

My Reading Lists:

Use this Work

Create a new list

Check nearby libraries

WorldCat

Buy this book

Last edited by ImportBot

March 28, 2025 | History

Edit

An edition of Formal logical methods for system security and correctness (2008)

Formal logical methods for system security and correctness

by NATO Advanced Study Institute on Formal ...

This edition doesn't have a description yet. Can you add one?

Publish Date

2008

Publisher

IOS Press

Language

English

Pages

318

Check nearby libraries

WorldCat

Buy this book

Edition	Availability
1 Formal logical methods for system security and correctness 2008, IOS Press in English 1586038435 9781586038434	aaaa Locate

Add another edition?

Book Details

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.

Published in: Amsterdam, Netherlands, Washington, DC
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

Edition Identifiers

Open Library: OL22565939M
ISBN 10: 1586038435
ISBN 13: 9781586038434
LCCN: 2008922610
OCLC/WorldCat: 221166019
LibraryThing: 7239768
Goodreads: 5244528

Work Identifiers

Work ID: OL13622182W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation

Formal logical methods for system security and correctness

by NATO Advanced Study Institute on Formal ...