| 000 | 02865cam a2200601Ia 4500 | ||
|---|---|---|---|
| 001 | ocn861257467 | ||
| 003 | OCoLC | ||
| 005 | 20240829144207.0 | ||
| 006 | m d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 131022s2013 ne a ob 101 0 eng d | ||
| 040 |
_aYDXCP _cYDXCP _dUKMGB _dIOSPR _dE7B _dOCLCA _dN$T |
||
| 016 | 7 |
_a016505928 _2Uk |
|
| 020 | _a9781614992073 (electronic bk.) | ||
| 020 | _a161499207X (electronic bk.) | ||
| 020 | _z9781614992066 | ||
| 020 | _z1614992061 | ||
| 029 | 1 |
_aAU@ _b000052305153 |
|
| 035 | _a(OCoLC)861257467 | ||
| 035 |
_a651776 _b(N$T) |
||
| 050 | 4 |
_aQA76.76.V47 _bN38 2012 |
|
| 072 | 7 |
_aCOM _x051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1/4 _223 |
| 049 | _aN$TA | ||
| 111 | 2 |
_aNATO Advanced Study Institute on Engineering Dependable Software Systems _d(2012 : _cMarktoberdorf, Germany) _9711928 |
|
| 245 | 1 | 0 |
_aEngineering dependable software systems _h[electronic resource] / _cedited by Manfred Broy, Doron Peled and Georg Kalus. |
| 264 | 1 |
_aAmsterdam : _bIOS Press, _c[2013] |
|
| 300 | _a1 online resource (ix, 365 pages.) | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aNATO science for peace and security series. Sub-series D, Information and communication security ; _vvol. 34 |
|
| 500 | _a"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. | ||
| 500 | _a"Published in cooperation with NATO Emerging Security Challenges Division." | ||
| 504 | _aIncludes bibliographical references and indexes. | ||
| 588 | _aDescription based on print version record. | ||
| 650 | 0 |
_aComputer software _xVerification _vCongresses. _915105 |
|
| 650 | 0 |
_aComputer systems _xVerification _vCongresses. _932389 |
|
| 650 | 7 |
_aCOMPUTERS / Software Development & Engineering / General _2bisacsh _9195058 |
|
| 655 | 4 |
_aElectronic books. _9396 |
|
| 700 | 1 |
_aBroy, M., _d1949- _eeditor of compilation. _916822 |
|
| 700 | 1 |
_aPeled, Doron A., _d1962- _eeditor of compilation. _917138 |
|
| 700 | 1 |
_aKalus, Georg, _eeditor of compilation. _9711929 |
|
| 710 | 2 |
_aNATO Emerging Security Challenges Division. _9711930 |
|
| 776 | 0 | 8 |
_iPrint version: _aNATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany). _tEngineering dependable software systems _z9781614992066 |
| 830 | 0 |
_aNATO science for peace and security series. _nSub-series D, _pInformation and communication security ; _vv. 34. _9390686 |
|
| 856 | 4 | 0 |
_3EBSCOhost _uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=651776 |
| 938 |
_aYBP Library Services _bYANK _n11238851 |
||
| 938 |
_aebrary _bEBRY _nebr10785476 |
||
| 938 |
_aEBSCOhost _bEBSC _n651776 |
||
| 910 | _acpp91023 | ||
| 994 |
_a02 _bN$T |
||
| 999 |
_c679942 _d679942 |
||