Software safety and security : tools for analysis and verification /

Software safety and security : tools for analysis and verification / / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.

Saved in:
Bibliographic Details
Superior document:NATO science for peace and security series. Sub-series D, Information and communication security, v. 33
:
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany)
TeilnehmendeR:
Nipkow, Tobias, 1958-
Grumberg, Orna.
Hauptmann, Benedikt.
NATO Emerging Security Challenges Division.
ProQuest (Firm)
Year of Publication:2012
Language:English
Series:NATO science for peace and security series. Information and communication security ; v. 33.
Online Access:
Physical Description:ix, 387 p. :; ill.
Notes:
  • "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.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISBN:9781614990277 (hardcover)
9781614990284 (online)
9781614990284 (electronic bk.)
ISSN:1874-6268 ;
Hierarchical level:Monograph
Statement of Responsibility: edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.

Similar Items