Software and systems safety specification and verification / [electronic resource] :
edited by Manfred Broy, Christian Leuxner and Tony Hoare.
- Amsterdam, The Netherlands : IOS Press, 2011.
- ix, 285 p. : ill. (some col.).
- NATO science for peace and security series. Sub-series D, Information and communication security, v. 30 1874-6268 ; .
Includes bibliographical references and indexes.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Software protection--Congresses.
Computer software--Reliability--Congresses.
Software engineering--Congresses.
Computer security--Congresses.
System safety--Congresses.
Electronic books.
QA76.76.P76 / S64 2011eb
Includes bibliographical references and indexes.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Software protection--Congresses.
Computer software--Reliability--Congresses.
Software engineering--Congresses.
Computer security--Congresses.
System safety--Congresses.
Electronic books.
QA76.76.P76 / S64 2011eb