| 000 | 02510nam a22005055i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-12241-0 | ||
| 003 | DE-He213 | ||
| 005 | 20240730174140.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 141008s2014 sz | s |||| 0|eng d | ||
| 020 |
_a9783319122410 _9978-3-319-12241-0 |
||
| 024 | 7 |
_a10.1007/978-3-319-12241-0 _2doi |
|
| 050 | 4 | _aQA75.5-76.95 | |
| 072 | 7 |
_aUY _2bicssc |
|
| 072 | 7 |
_aCOM000000 _2bisacsh |
|
| 072 | 7 |
_aUY _2thema |
|
| 082 | 0 | 4 |
_a004 _223 |
| 245 | 1 | 0 |
_aSoftware Engineering for Resilient Systems _h[electronic resource] : _b6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings / _cedited by István Majzik, Marco Vieira. |
| 250 | _a1st ed. 2014. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2014. |
|
| 300 |
_aX, 185 p. 59 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v8785 |
|
| 505 | 0 | _aDesign of resilient systems -- Analysis of resilience -- Verification and validation -- Monitoring. | |
| 520 | _aThis book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring. | ||
| 650 | 0 |
_aComputer science. _99832 |
|
| 650 | 1 | 4 |
_aComputer Science. _99832 |
| 700 | 1 |
_aMajzik, István. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9111287 |
|
| 700 | 1 |
_aVieira, Marco. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9111288 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9111289 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319122403 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319122427 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v8785 _9111290 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-12241-0 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cELN | ||
| 999 |
_c89283 _d89283 |
||