Limit search to available items
E-book

Title Software and systems safety : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare

Published Amsterdam, The Netherlands : IOS Press, 2011
Online access available from:
ProQuest Ebook Central Subscription Collection    View Resource Record  
EBSCO eBook Academic Collection    View Resource Record  

Copies

Description 1 online resource (ix, 285 pages) : illustrations (some color)
polychrome rdacc http://rdaregistry.info/termList/RDAColourContent/1003
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. 1874-6268
Bibliography Includes bibliographical references and indexes
Subject Computer security -- Congresses.
Computer software -- Reliability -- Congresses.
Software engineering -- Congresses.
Software protection -- Congresses.
System safety -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
LC no. 2011922667
ISBN (e-book)