Software and systems safety
Additional authors:
Broy, Manfred.
|
Leuxner, Christian.
|
Hoare, A. G.
|
ebrary, Inc.
|
NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification
--
(2010 :
--
Marktoberdorf, Germany)
Series:
NATO science for peace and security series. Sub-series D, Information and communication security,
1874-6268 ;
. v. 30
Published by :
IOS Press,
(Amsterdam, The Netherlands :)
Physical details: ix, 285 p. : ill. (some col.).
Subject(s):
Software protection
--
Congresses.
|
Computer software
--
Reliability
--
Congresses.
|
Software engineering
--
Congresses.
|
Computer security
--
Congresses.
|
System safety
--
Congresses.
|
Electronic books.
Year: 2011
Online resources:
-
http://site.ebrary.com/lib/rucke/Doc?id=10506356
- An electronic book accessible through the World Wide Web; click to view
No physical items for this record
Includes bibliographical references and indexes.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments on this title.