Software and systems safety : specification and verification /

Software and systems safety : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare.

Saved in:
Bibliographic Details
Superior document:NATO science for peace and security series. Sub-series D, Information and communication security, v. 30
:
ProQuest (Firm)
TeilnehmendeR:
Broy, Manfred.
Leuxner, Christian.
Hoare, A. G.
ProQuest (Firm)
NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany)
Year of Publication:2011
Language:English
Series:NATO science for peace and security series. Information and communication security ; v. 30.
Online Access:
Physical Description:ix, 285 p. :; ill. (some col.).
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500784589
ctrlnum (MiAaPQ)500784589
(Au-PeEL)EBL784589
(CaPaEBR)ebr10506356
(CaONFJC)MIL328960
(OCoLC)756484723
collection bib_alma
record_format marc
spelling Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
Amsterdam, The Netherlands : IOS Press, 2011.
ix, 285 p. : ill. (some col.).
NATO science for peace and security series. Sub-series D, Information and communication security, 1874-6268 ; v. 30
Includes bibliographical references and indexes.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Software protection Congresses.
Computer software Reliability Congresses.
Software engineering Congresses.
Computer security Congresses.
System safety Congresses.
Electronic books.
Broy, Manfred.
Leuxner, Christian.
Hoare, A. G.
ProQuest (Firm)
NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany)
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 30.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=784589 Click to View
language English
format Electronic
Conference Proceeding
eBook
author2 Broy, Manfred.
Leuxner, Christian.
Hoare, A. G.
ProQuest (Firm)
NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany)
author_facet Broy, Manfred.
Leuxner, Christian.
Hoare, A. G.
ProQuest (Firm)
NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany)
ProQuest (Firm)
NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification
author2_variant m b mb
c l cl
a g h ag agh
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate ProQuest (Firm)
NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification
author_sort Broy, Manfred.
title Software and systems safety specification and verification /
spellingShingle Software and systems safety specification and verification /
NATO science for peace and security series. Sub-series D, Information and communication security,
title_sub specification and verification /
title_full Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
title_fullStr Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
title_full_unstemmed Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
title_auth Software and systems safety specification and verification /
title_new Software and systems safety
title_sort software and systems safety specification 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 2011
physical ix, 285 p. : ill. (some col.).
isbn 9781607507116 (electronic bk.)
issn 1874-6268 ;
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.76 P76 S64 42011
genre Electronic books.
genre_facet Congresses.
Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=784589
illustrated Illustrated
oclc_num 756484723
work_keys_str_mv AT broymanfred softwareandsystemssafetyspecificationandverification
AT leuxnerchristian softwareandsystemssafetyspecificationandverification
AT hoareag softwareandsystemssafetyspecificationandverification
AT proquestfirm softwareandsystemssafetyspecificationandverification
AT natoadvancedstudyinstituteonsoftwareandsystemssafetyspecificationandverificationmarktoberdorfgermany softwareandsystemssafetyspecificationandverification
status_str n
ids_txt_mv (MiAaPQ)500784589
(Au-PeEL)EBL784589
(CaPaEBR)ebr10506356
(CaONFJC)MIL328960
(OCoLC)756484723
hierarchy_parent_title NATO science for peace and security series. Sub-series D, Information and communication security, v. 30
hierarchy_sequence v. 30.
is_hierarchy_title Software and systems safety specification and verification /
container_title NATO science for peace and security series. Sub-series D, Information and communication security, v. 30
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
noLinkedField
noLinkedField
_version_ 1792330721433485312
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01979nam a2200445 a 4500</leader><controlfield tag="001">500784589</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">110209s2011 ne a sb 101 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2011922667</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781607507109</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607507116 (electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500784589</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL784589</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10506356</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL328960</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)756484723</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.P76</subfield><subfield code="b">S64 2011</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Software and systems safety</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">specification and verification /</subfield><subfield code="c">edited by Manfred Broy, Christian Leuxner and Tony Hoare.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam, The Netherlands :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">2011.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">ix, 285 p. :</subfield><subfield code="b">ill. (some col.).</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. 30</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and 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">Software protection</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Reliability</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering</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="650" ind1=" " ind2="0"><subfield code="a">System safety</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">Broy, Manfred.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Leuxner, Christian.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hoare, A. G.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification</subfield><subfield code="d">(2010 :</subfield><subfield code="c">Marktoberdorf, Germany)</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. 30.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=784589</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items