Engineering dependable software systems / 
edited by Manfred Broy, Doron Peled and Georg Kalus. 
 - 1 online resource (376 pages) :  illustrations. 
 - 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. .
<br/><br/> "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." 
<br/><br/>Includes bibliographical references and indexes. 
<br/><br/><label>ISBN: </label>9781614992073 (ebook) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Verification--Congresses.<br/>Computer systems--Verification--Congresses.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.76.V47  / N38 2012eb 
<br/><br/><label>Dewey Class. No.: </label>005.1/4