Dependable software systems engineering / / edited by Javier Esparza, Orna Grumberg, Salomon Sickert.
Saved in:
Superior document: | NATO Science for Peace and Security Series : Sub-Series D: Information and Communication Security, Volume 45 |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | Amsterdam, Netherlands ;, Berlin, [Germany] ;, Washington, District of Columbia : : IOS Press,, 2016. 2016 |
Year of Publication: | 2016 |
Language: | English |
Series: | NATO science for peace and security series. Information and communication security ;
Volume 45. |
Online Access: | |
Physical Description: | 1 online resource (296 pages) :; illustrations (some color), charts, tables. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
5004528955 |
---|---|
ctrlnum |
(MiAaPQ)5004528955 (Au-PeEL)EBL4528955 (CaPaEBR)ebr11212748 (CaONFJC)MIL923285 (OCoLC)951221884 |
collection |
bib_alma |
record_format |
marc |
spelling |
Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg, Salomon Sickert. Amsterdam, Netherlands ; Berlin, [Germany] ; Washington, District of Columbia : IOS Press, 2016. 2016 1 online resource (296 pages) : illustrations (some color), charts, tables. text rdacontent computer rdamedia online resource rdacarrier NATO Science for Peace and Security Series : Sub-Series D: Information and Communication Security, 1879-8292 ; Volume 45 Includes bibliographical references at the end of each chapters and indexes. Description based on print version record. Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Computer security Congresses. Computer networks Security measures Congresses. Software engineering Congresses. Electronic books. Esparza, Javier, editor. Grumberg, Orna, editor. Sickert, Salomon, editor. Print version: Dependable software systems engineering. Amsterdam, Netherlands ; Berlin, [Germany] ; Washington, District of Columbia : IOS Press, c2016 ix, 285 pages NATO science for peace and security series. Sub-series D, pInformation and communication security ; Volume 45. 9781614996262 2016935536 ProQuest (Firm) NATO science for peace and security series. Sub-series D, Information and communication security ; Volume 45. https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=4528955 Click to View |
language |
English |
format |
eBook |
author2 |
Esparza, Javier, Grumberg, Orna, Sickert, Salomon, |
author_facet |
Esparza, Javier, Grumberg, Orna, Sickert, Salomon, |
author2_variant |
j e je o g og s s ss |
author2_role |
TeilnehmendeR TeilnehmendeR TeilnehmendeR |
title |
Dependable software systems engineering / |
spellingShingle |
Dependable software systems engineering / NATO Science for Peace and Security Series : Sub-Series D: Information and Communication Security, |
title_full |
Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg, Salomon Sickert. |
title_fullStr |
Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg, Salomon Sickert. |
title_full_unstemmed |
Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg, Salomon Sickert. |
title_auth |
Dependable software systems engineering / |
title_new |
Dependable software systems engineering / |
title_sort |
dependable software systems engineering / |
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 |
2016 |
physical |
1 online resource (296 pages) : illustrations (some color), charts, tables. |
isbn |
9781614996279 9781614996262 |
issn |
1879-8292 ; |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA76 |
callnumber-sort |
QA 276.9 A25 D474 42016 |
genre |
Electronic books. |
genre_facet |
Congresses. Electronic books. |
url |
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=4528955 |
illustrated |
Illustrated |
dewey-hundreds |
000 - Computer science, information & general works |
dewey-tens |
000 - Computer science, knowledge & systems |
dewey-ones |
005 - Computer programming, programs & data |
dewey-full |
005.8 |
dewey-sort |
15.8 |
dewey-raw |
005.8 |
dewey-search |
005.8 |
oclc_num |
951221884 |
work_keys_str_mv |
AT esparzajavier dependablesoftwaresystemsengineering AT grumbergorna dependablesoftwaresystemsengineering AT sickertsalomon dependablesoftwaresystemsengineering |
status_str |
n |
ids_txt_mv |
(MiAaPQ)5004528955 (Au-PeEL)EBL4528955 (CaPaEBR)ebr11212748 (CaONFJC)MIL923285 (OCoLC)951221884 |
hierarchy_parent_title |
NATO Science for Peace and Security Series : Sub-Series D: Information and Communication Security, Volume 45 |
hierarchy_sequence |
Volume 45. |
is_hierarchy_title |
Dependable software systems engineering / |
container_title |
NATO Science for Peace and Security Series : Sub-Series D: Information and Communication Security, Volume 45 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField |
_version_ |
1792330914049556480 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02406nam a2200481 i 4500</leader><controlfield tag="001">5004528955</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200917021826.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">160602t20162016ne ad ob 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781614996262</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614996279</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5004528955</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL4528955</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr11212748</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL923285</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)951221884</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.A25</subfield><subfield code="b">.D474 2016</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.8</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Dependable software systems engineering /</subfield><subfield code="c">edited by Javier Esparza, Orna Grumberg, Salomon Sickert.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam, Netherlands ;</subfield><subfield code="a">Berlin, [Germany] ;</subfield><subfield code="a">Washington, District of Columbia :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">2016.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (296 pages) :</subfield><subfield code="b">illustrations (some color), charts, tables.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</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">1879-8292 ;</subfield><subfield code="v">Volume 45</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references at the end of each chapters and indexes.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. 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 security</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer networks</subfield><subfield code="x">Security measures</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="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Esparza, Javier,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grumberg, Orna,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sickert, Salomon,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Dependable software systems engineering.</subfield><subfield code="d">Amsterdam, Netherlands ; Berlin, [Germany] ; Washington, District of Columbia : IOS Press, c2016 </subfield><subfield code="h">ix, 285 pages </subfield><subfield code="k">NATO science for peace and security series. Sub-series D, pInformation and communication security ; Volume 45.</subfield><subfield code="z">9781614996262 </subfield><subfield code="w">2016935536</subfield></datafield><datafield tag="797" 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">Volume 45.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=4528955</subfield><subfield code="z">Click to View</subfield></datafield></record></collection> |