Kids Library Home

Welcome to the Kids' Library!

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

     
Available items only
Electronic Book
Conference NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)

Title Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus.

Publication Info. Amsterdam ; Washington, D. C. : IOS Press, [2013]
2013

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description 1 online resource (376 pages) : illustrations.
text rdacontent
computer rdamedia
online resource rdacarrier
Series NATO science for peace and security series. Sub-series D, Information and communication security ; volume 34
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 34.
Note "Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso.
"Published in cooperation with NATO Emerging Security Challenges Division."
Bibliography Includes bibliographical references and indexes.
Note Description based on print version record.
Subject Computer software -- Verification -- Congresses.
Computer systems -- Verification -- Congresses.
Genre/Form Electronic books.
Added Author Broy, M., 1949-
Kalus, Georg.
Peled, Doron, 1962-
Other Form: Print version: NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany) Engineering dependable software systems. Amsterdam ; Washington, D. C. : IOS Press, [2013] ix, 365 pages : illustrations NATO science for peace and security series. Sub-series D, Information and communication security ; v. 34. 9781614992066
ISBN 9781614992066
9781614992073 (electronic bk.)

 
    
Available items only