Software and systems safety: specification and verification
Saved in:
| Format: | Electronic eBook |
|---|---|
| Language: | English |
| Published: |
Amsterdam, The Netherlands
IOS Press
2011
|
| Series: | NATO science for peace and security series
v. 30 |
| Subjects: | |
| Physical Description: | ix, 285 p. |
| ISBN: | 9781607507109 9781607507116 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044846568 | ||
| 003 | DE-604 | ||
| 005 | 20180305 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180305s2011 |||| o||u| ||||||eng d | ||
| 020 | |a 9781607507109 |9 978-1-60750-710-9 | ||
| 020 | |a 9781607507116 |c Online |9 978-1-60750-711-6 | ||
| 035 | |a (ZDB-38-ESG)ebr10506356 | ||
| 035 | |a (OCoLC)756484723 | ||
| 035 | |a (DE-599)BVBBV044846568 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 245 | 1 | 0 | |a Software and systems safety |b specification and verification |c edited by Manfred Broy, Christian Leuxner and Tony Hoare |
| 264 | 1 | |a Amsterdam, The Netherlands |b IOS Press |c 2011 | |
| 300 | |a ix, 285 p. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a NATO science for peace and security series |v v. 30 | |
| 505 | 8 | |a Includes bibliographical references and indexes | |
| 650 | 4 | |a Software protection |v Congresses | |
| 650 | 4 | |a Computer software |x Reliability |v Congresses | |
| 650 | 4 | |a Software engineering |v Congresses | |
| 650 | 4 | |a Computer security |v Congresses | |
| 650 | 4 | |a System safety |v Congresses | |
| 650 | 0 | 7 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computersicherheit |0 (DE-588)4274324-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
| 689 | 0 | 1 | |a Computersicherheit |0 (DE-588)4274324-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Broy, Manfred |e Sonstige |4 oth | |
| 700 | 1 | |a Leuxner, Christian |e Sonstige |4 oth | |
| 700 | 1 | |a Hoare, A. G. |e Sonstige |4 oth | |
| 912 | |a ZDB-38-ESG | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030241430 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804178359153852416 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV044846568 |
| collection | ZDB-38-ESG |
| contents | Includes bibliographical references and indexes |
| ctrlnum | (ZDB-38-ESG)ebr10506356 (OCoLC)756484723 (DE-599)BVBBV044846568 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01807nmm a2200469zcb4500</leader><controlfield tag="001">BV044846568</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180305 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180305s2011 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607507109</subfield><subfield code="9">978-1-60750-710-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607507116</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-60750-711-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-38-ESG)ebr10506356</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)756484723</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044846568</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software and systems safety</subfield><subfield code="b">specification and verification</subfield><subfield code="c">edited by Manfred Broy, Christian Leuxner and Tony Hoare</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><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></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">NATO science for peace and security series</subfield><subfield code="v">v. 30</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Includes bibliographical references and indexes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software protection</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Reliability</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer security</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System safety</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Broy, Manfred</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Leuxner, Christian</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hoare, A. G.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-38-ESG</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030241430</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044846568 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:02:43Z |
| institution | BVB |
| isbn | 9781607507109 9781607507116 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030241430 |
| oclc_num | 756484723 |
| open_access_boolean | |
| physical | ix, 285 p. |
| psigel | ZDB-38-ESG |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | IOS Press |
| record_format | marc |
| series2 | NATO science for peace and security series |
| spelling | Software and systems safety specification and verification edited by Manfred Broy, Christian Leuxner and Tony Hoare Amsterdam, The Netherlands IOS Press 2011 ix, 285 p. txt rdacontent c rdamedia cr rdacarrier NATO science for peace and security series v. 30 Includes bibliographical references and indexes Software protection Congresses Computer software Reliability Congresses Software engineering Congresses Computer security Congresses System safety Congresses Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Computersicherheit (DE-588)4274324-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Sicherheitskritisches System (DE-588)4767762-4 s Computersicherheit (DE-588)4274324-2 s 1\p DE-604 Broy, Manfred Sonstige oth Leuxner, Christian Sonstige oth Hoare, A. G. Sonstige oth 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Software and systems safety specification and verification Includes bibliographical references and indexes Software protection Congresses Computer software Reliability Congresses Software engineering Congresses Computer security Congresses System safety Congresses Sicherheitskritisches System (DE-588)4767762-4 gnd Computersicherheit (DE-588)4274324-2 gnd |
| subject_GND | (DE-588)4767762-4 (DE-588)4274324-2 (DE-588)1071861417 |
| title | Software and systems safety specification and verification |
| title_auth | Software and systems safety specification and verification |
| title_exact_search | Software and systems safety specification and verification |
| title_full | Software and systems safety specification and verification edited by Manfred Broy, Christian Leuxner and Tony Hoare |
| title_fullStr | Software and systems safety specification and verification edited by Manfred Broy, Christian Leuxner and Tony Hoare |
| title_full_unstemmed | Software and systems safety specification and verification edited by Manfred Broy, Christian Leuxner and Tony Hoare |
| title_short | Software and systems safety |
| title_sort | software and systems safety specification and verification |
| title_sub | specification and verification |
| topic | Software protection Congresses Computer software Reliability Congresses Software engineering Congresses Computer security Congresses System safety Congresses Sicherheitskritisches System (DE-588)4767762-4 gnd Computersicherheit (DE-588)4274324-2 gnd |
| topic_facet | Software protection Congresses Computer software Reliability Congresses Software engineering Congresses Computer security Congresses System safety Congresses Sicherheitskritisches System Computersicherheit Konferenzschrift |
| work_keys_str_mv | AT broymanfred softwareandsystemssafetyspecificationandverification AT leuxnerchristian softwareandsystemssafetyspecificationandverification AT hoareag softwareandsystemssafetyspecificationandverification |