| 000 | 03891cam a2200649 i 4500 | ||
|---|---|---|---|
| 001 | on1012107245 | ||
| 003 | OCoLC | ||
| 005 | 20240829145953.0 | ||
| 006 | m d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 171117s2017 ne ob 101 0 eng d | ||
| 040 |
_aN$T _beng _erda _epn _cN$T _dIOSPR _dIDEBK _dEBLCP _dN$T _dYDX _dOCLCF _dMERUC _dCUY _dEZ9 _dINT _dOCLCQ _dLVT _dG3B _dOCLCQ _dIGB _dSTF _dOCLCQ _dK6U _dVT2 _dOCLCO _dOCLCQ _dOCLCO _dOCLCQ _dOCLCO _dOCLCL |
||
| 019 |
_a1012500698 _a1249230814 |
||
| 020 |
_a9781614998105 _q(electronic bk.) |
||
| 020 |
_a1614998108 _q(electronic bk.) |
||
| 020 |
_z9781614998099 _q(print) |
||
| 020 |
_z1614998094 _q(print) |
||
| 035 |
_a1632351 _b(N$T) |
||
| 035 |
_a(OCoLC)1012107245 _z(OCoLC)1012500698 _z(OCoLC)1249230814 |
||
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aCOM _x051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 049 | _aMAIN | ||
| 111 | 2 |
_aNATO Advanced Studies Institute on Dependable Software Systems Engineering _d(2016 : _cMarktoberdorf, Germany) _9871938 |
|
| 245 | 1 | 0 |
_aDependable software systems engineering / _cedited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann. |
| 264 | 1 |
_aAmsterdam, Netherlands : _bIOS Press, _c2017. |
|
| 300 | _a1 online resource | ||
| 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, _x1879-8292 ; _vvol. 50 |
|
| 500 | _a"Proceedings of the NATO Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016." | ||
| 500 | _aIncludes indexes. | ||
| 588 | 0 | _aOnline resource; title from PDF title page (IOS Press, viewed November 20, 2017). | |
| 505 | 0 | 0 |
_gMachine generated contents note: _tReactive Synthesis: Towards Output-Sensitive Algorithms / _rFelix Klein -- _tComputing the Next-State Function of a Requirements Model / _rM.M. Archer -- _tFrom Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning / _rAxel Legay -- _tViper: A Verification Infrastructure for Permission-Based Reasoning / _rAlexander J. Summers -- _tAutomata Based Validation Techniques / _rDoron Peled -- _tDefect-Based Testing / _rAlexander Pretschner -- _tTemporal Logic as Filtering / _rRadu Grosu -- _tK: A Semantic Framework for Programming Languages and Formal Analysis Tools / _rGrigore Rosu -- _tAssurance and Assurance Cases / _rJohn Rushby. |
| 504 | _aIncludes bibliographical references and index. | ||
| 590 | _aAdded to collection customer.56279.3 | ||
| 650 | 0 |
_aSoftware engineering _vCongresses. _915264 |
|
| 650 | 0 |
_aComputer software _xReliability _vCongresses. _918123 |
|
| 650 | 6 |
_aGénie logiciel _vCongrès. _918168 |
|
| 650 | 6 |
_aLogiciels _xFiabilité _vCongrès. _926740 |
|
| 650 | 7 |
_aCOMPUTERS _xSoftware Development & Engineering _xGeneral. _2bisacsh _94347 |
|
| 650 | 7 |
_aComputer software _xReliability _2fast _918125 |
|
| 650 | 7 |
_aSoftware engineering _2fast _914736 |
|
| 655 | 7 |
_aConference papers and proceedings _2fast _96065 |
|
| 700 | 1 |
_aPretschner, Alexander, _eeditor. _9794443 |
|
| 700 | 1 |
_aPeled, Doron A., _d1962- _eeditor. _1https://id.oclc.org/worldcat/entity/E39PBJbCKd76vK9JBbkv3hrrMP _917138 |
|
| 700 | 1 |
_aHutzelmann, Thomas, _eeditor. _9871939 |
|
| 776 | 0 | 8 |
_iPrint version: _z1614998094 _z9781614998099 _w(OCoLC)1011111575 |
| 830 | 0 |
_aNATO science for peace and security series. _nSub-series D, _pInformation and communication security ; _vv. 50. _9390686 |
|
| 856 | 4 | 0 |
_3EBSCOhost _uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1632351 |
| 938 |
_aEBL - Ebook Library _bEBLB _nEBL5150839 |
||
| 938 |
_aEBSCOhost _bEBSC _n1632351 |
||
| 938 |
_aProQuest MyiLibrary Digital eBook Collection _bIDEB _ncis39307012 |
||
| 938 |
_aYBP Library Services _bYANK _n14992121 |
||
| 994 |
_a92 _bN$T |
||
| 999 |
_c682245 _d682245 |
||