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 Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaoara, Romania)

Title Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Laureniu iplea.

Imprint Amsterdam ; Washington, D.C. : IOS Press, c2006.

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description vii, 235 p. : ill.
Series NATO security through science series. D, Information and communication security ; vol. 1
NATO security through science series. D, Information and communication security ; v. 1.
Note Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaoara, Romania, March 17-22, 2005.
Bibliography Includes bibliographical references and author index.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject System theory -- Mathematical models -- Congresses.
System theory -- Security measures -- Congresses.
Computer security -- Congresses.
Computer software -- Verification -- Congresses.
Genre/Form Electronic books.
Added Author Clarke, Edmund.
Minea, Marius.
iplea, Ferucio Laureniu.
ProQuest (Firm)
ISBN 1586035703

 
    
Available items only