Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Books/E-Docs
Conference NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany)

Title Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.

Imprint Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008.

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description ix, 318 p. : ill.
Series NATO security through science series. D, Information and communication security, 1874-6268 ; v. 14
NATO security through science series. D, Information and communication security ; v. 14.
Note "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.
Bibliography Includes bibliographical references and index.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Computer security -- Congresses.
Computer logic -- Congresses.
Genre/Form Electronic books.
Added Author Grumberg, Orna.
Nipkow, Tobias, 1958-
Pfaller, Christian.
ProQuest (Firm)
ISBN 9781586038434
1586038435

 
    
Available items only