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

By:

NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)

Contributor(s):

Series: NATO science for peace and security series ; v. 14Publication details: Amsterdam, The Netherlands : IOS Press, ©2008 ; Washington, D.C.Description: 1 online resource (ix, 318 pages) : illustrationsISBN:

9781435677883
9781607503156

Subject(s):

Online resources:

Click here to access online

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"--Title page verso.

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.