Engineering dependable software systems
Engineering dependable software systems [electronic resource] /
edited by Manfred Broy, Doron Peled and Georg Kalus.
- 1 online resource (ix, 365 pages.)
- NATO science for peace and security series. Sub-series D, Information and communication security ; vol. 34 .
- NATO science for peace and security series. Sub-series D, Information and communication security ; v. 34. .
"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."
Includes bibliographical references and indexes.
9781614992073 (electronic bk.) 161499207X (electronic bk.)
016505928 Uk
Computer software--Verification--Congresses.
Computer systems--Verification--Congresses.
COMPUTERS / Software Development & Engineering / General
Electronic books.
QA76.76.V47 / N38 2012
005.1/4
"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."
Includes bibliographical references and indexes.
9781614992073 (electronic bk.) 161499207X (electronic bk.)
016505928 Uk
Computer software--Verification--Congresses.
Computer systems--Verification--Congresses.
COMPUTERS / Software Development & Engineering / General
Electronic books.
QA76.76.V47 / N38 2012
005.1/4