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!
id 500948331
ctrlnum (MiAaPQ)500948331
(Au-PeEL)EBL948331
(CaPaEBR)ebr10574718
(CaONFJC)MIL371721
(OCoLC)797917368
collection bib_alma
record_format marc
spelling NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
Washington, D.C. : IOS Press, 2012.
ix, 387 p. : ill.
NATO science for peace and security series. Sub-series D, Information and communication security, 1874-6268 ; v. 33
"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.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Computer software Verification Congresses.
Computer security Congresses.
Electronic books.
Nipkow, Tobias, 1958-
Grumberg, Orna.
Hauptmann, Benedikt.
NATO Emerging Security Challenges Division.
ProQuest (Firm)
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 33.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=948331 Click to View
language English
format Electronic
Conference Proceeding
eBook
author2 Nipkow, Tobias, 1958-
Grumberg, Orna.
Hauptmann, Benedikt.
NATO Emerging Security Challenges Division.
ProQuest (Firm)
author_facet Nipkow, Tobias, 1958-
Grumberg, Orna.
Hauptmann, Benedikt.
NATO Emerging Security Challenges Division.
ProQuest (Firm)
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany)
NATO Emerging Security Challenges Division.
ProQuest (Firm)
author2_variant t n tn
o g og
b h bh
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany)
NATO Emerging Security Challenges Division.
ProQuest (Firm)
author_sort NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany)
title Software safety and security tools for analysis and verification /
spellingShingle Software safety and security tools for analysis and verification /
NATO science for peace and security series. Sub-series D, Information and communication security,
title_sub tools for analysis and verification /
title_full Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
title_fullStr Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
title_full_unstemmed Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
title_auth Software safety and security tools for analysis and verification /
title_new Software safety and security
title_sort software safety and security tools for analysis and verification /
series NATO science for peace and security series. Sub-series D, Information and communication security,
series2 NATO science for peace and security series. Sub-series D, Information and communication security,
publisher IOS Press,
publishDate 2012
physical ix, 387 p. : ill.
isbn 9781614990284 (electronic bk.)
issn 1874-6268 ;
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.76 V47 N38 42011
genre Electronic books.
genre_facet Congresses.
Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=948331
illustrated Illustrated
oclc_num 797917368
work_keys_str_mv AT natoadvancedstudyinstituteontoolsforanalysisandverificationofsoftwaresafetyandsecuritybayrischzellgermany softwaresafetyandsecuritytoolsforanalysisandverification
AT nipkowtobias softwaresafetyandsecuritytoolsforanalysisandverification
AT grumbergorna softwaresafetyandsecuritytoolsforanalysisandverification
AT hauptmannbenedikt softwaresafetyandsecuritytoolsforanalysisandverification
AT natoemergingsecuritychallengesdivision softwaresafetyandsecuritytoolsforanalysisandverification
AT proquestfirm softwaresafetyandsecuritytoolsforanalysisandverification
status_str n
ids_txt_mv (MiAaPQ)500948331
(Au-PeEL)EBL948331
(CaPaEBR)ebr10574718
(CaONFJC)MIL371721
(OCoLC)797917368
hierarchy_parent_title NATO science for peace and security series. Sub-series D, Information and communication security, v. 33
hierarchy_sequence v. 33.
is_hierarchy_title Software safety and security tools for analysis and verification /
container_title NATO science for peace and security series. Sub-series D, Information and communication security, v. 33
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
noLinkedField
noLinkedField
_version_ 1792330732290441216
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02208nam a2200457 a 4500</leader><controlfield tag="001">500948331</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">120417s2012 dcua s 101 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2012937823</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781614990277 (hardcover)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781614990284 (online)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614990284 (electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500948331</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL948331</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10574718</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL371721</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)797917368</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.76.V47</subfield><subfield code="b">N38 2011</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security</subfield><subfield code="d">(2011 :</subfield><subfield code="c">Bayrischzell, Germany)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software safety and security</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">tools for analysis and verification /</subfield><subfield code="c">edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Washington, D.C. :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">2012.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ix, 387 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">NATO science for peace and security series. Sub-series D, Information and communication security,</subfield><subfield code="x">1874-6268 ;</subfield><subfield code="v">v. 33</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Published in cooperation with NATO Emerging Security Challenges Division."</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"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.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes indexes.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer security</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nipkow, Tobias,</subfield><subfield code="d">1958-</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grumberg, Orna.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hauptmann, Benedikt.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">NATO Emerging Security Challenges Division.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">NATO science for peace and security series.</subfield><subfield code="n">Sub-series D,</subfield><subfield code="p">Information and communication security ;</subfield><subfield code="v">v. 33.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=948331</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items