Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
2012
QA76.76.V47 N38 2011eb
Linked e-resources
Linked Resource
Online Access
Details
Title
Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
ISBN
9781614990277 (hardcover)
9781614990284 (online)
9781614990284 (e-book)
9781614990284 (online)
9781614990284 (e-book)
Publication Details
Washington, D.C. : IOS Press, 2012.
Language
English
Description
ix, 387 p. : ill.
Call Number
QA76.76.V47 N38 2011eb
Note
"Published in cooperation with NATO Emerging Security Challenges Division."
"Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso.
Includes indexes.
"Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso.
Includes indexes.
Access Note
Access limited to authorized users.
Added Corporate Author
NATO Emerging Security Challenges Division.
Series
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 33.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources