Rongo Univesity Library

Your cart is empty.

Formal logical methods for system security and correctness

Additional authors: Grumberg, Orna. | Nipkow, Tobias, -- 1958- | Pfaller, Christian. | ebrary, Inc.
Series: NATO security through science series. D, Information and communication security, 1874-6268 ; . v. 14 Published by : IOS Press, (Amsterdam, Netherlands ; | Washington, DC :) Physical details: ix, 318 p. : ill.
Subject(s): Computer security -- Congresses. | Computer logic -- Congresses. | Electronic books.
Year: 2008
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
No physical items for this record

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

Electronic reproduction. Palo Alto, Calif. : ebrary, 2011. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.

Powered by Koha