Kids Library Home

Welcome to the Kids' Library!

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

     
Available items only
E-Books/E-Docs

Title Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.

Imprint Amsterdam, The Netherlands : IOS Press, 2011.

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description ix, 285 p. : ill. (some col.).
Series NATO science for peace and security series. Sub-series D, Information and communication security, 1874-6268 ; v. 30
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 30.
Bibliography Includes bibliographical references and indexes.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Software protection -- Congresses.
Computer software -- Reliability -- Congresses.
Software engineering -- Congresses.
Computer security -- Congresses.
System safety -- Congresses.
Genre/Form Electronic books.
Added Author Broy, Manfred.
Leuxner, Christian.
Hoare, A. G.
ProQuest (Firm)
NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany)
ISBN 9781607507109
9781607507116 (e-book)

 
    
Available items only