Engineering methods and tools for software safety and security

Engineering methods and tools for software safety and security / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.

Saved in:
Bibliographic Details
:
ProQuest (Firm)
TeilnehmendeR:
ProQuest (Firm)
Year of Publication:2009
Language:English
Series:NATO science for peace and security series
Online Access:
Physical Description:ix, 333 p.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500448762
ctrlnum (MiAaPQ)500448762
(Au-PeEL)EBL448762
(CaPaEBR)ebr10309220
(CaONFJC)MIL577658
(OCoLC)430325602
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01258nam a2200325Ia 4500</leader><controlfield tag="001">500448762</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">081229s2009 dcu sb 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781586039769</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500448762</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL448762</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10309220</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL577658</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)430325602</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">TA345</subfield><subfield code="b">.E64 2009</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Engineering methods and tools for software safety and security</subfield><subfield code="h">[electronic resource] /</subfield><subfield code="c">[edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Washington, DC :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">2009.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ix, 333 p.</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">NATO science for peace and security series</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</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">Engineering</subfield><subfield code="x">Data processing.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Engineering</subfield><subfield code="x">Methodology.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=448762</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Engineering methods and tools for software safety and security [electronic resource] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
Washington, DC : IOS Press, 2009.
ix, 333 p.
NATO science for peace and security series
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Engineering Data processing.
Engineering Methodology.
Electronic books.
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=448762 Click to View
language English
format Electronic
eBook
author2 ProQuest (Firm)
author_facet ProQuest (Firm)
ProQuest (Firm)
author2_role TeilnehmendeR
author_corporate ProQuest (Firm)
title Engineering methods and tools for software safety and security
spellingShingle Engineering methods and tools for software safety and security
NATO science for peace and security series
title_full Engineering methods and tools for software safety and security [electronic resource] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
title_fullStr Engineering methods and tools for software safety and security [electronic resource] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
title_full_unstemmed Engineering methods and tools for software safety and security [electronic resource] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
title_auth Engineering methods and tools for software safety and security
title_new Engineering methods and tools for software safety and security
title_sort engineering methods and tools for software safety and security
series NATO science for peace and security series
series2 NATO science for peace and security series
publisher IOS Press,
publishDate 2009
physical ix, 333 p.
callnumber-first T - Technology
callnumber-subject TA - General and Civil Engineering
callnumber-label TA345
callnumber-sort TA 3345 E64 42009
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=448762
illustrated Not Illustrated
oclc_num 430325602
work_keys_str_mv AT proquestfirm engineeringmethodsandtoolsforsoftwaresafetyandsecurity
status_str n
ids_txt_mv (MiAaPQ)500448762
(Au-PeEL)EBL448762
(CaPaEBR)ebr10309220
(CaONFJC)MIL577658
(OCoLC)430325602
is_hierarchy_title Engineering methods and tools for software safety and security
author2_original_writing_str_mv noLinkedField
_version_ 1792330692387930113

Similar Items