| 000 | 04022nam a22006615i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-69483-2 | ||
| 003 | DE-He213 | ||
| 005 | 20210118133737.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 171016s2017 gw | s |||| 0|eng d | ||
| 020 |
_a9783319694832 _9978-3-319-69483-2 |
||
| 024 | 7 |
_a10.1007/978-3-319-69483-2 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aDependable Software Engineering. Theories, Tools, and Applications _h[electronic resource] : _bThird International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / _cedited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang. |
| 250 | _a1st ed. 2017. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
| 300 |
_aXVIII, 351 p. 74 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 ; _v10606 |
|
| 505 | 0 | _aProbabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools. | |
| 520 | _aThis book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools. | ||
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aMathematical logic. | |
| 650 | 0 | _aComputer simulation. | |
| 650 | 0 | _aMathematical statistics. | |
| 650 | 1 | 4 |
_aSoftware Engineering. _0http://scigraph.springernature.com/things/product-market-codes/I14029 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs. _0http://scigraph.springernature.com/things/product-market-codes/I1603X |
| 650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0http://scigraph.springernature.com/things/product-market-codes/I16048 |
| 650 | 2 | 4 |
_aSimulation and Modeling. _0http://scigraph.springernature.com/things/product-market-codes/I19000 |
| 650 | 2 | 4 |
_aProbability and Statistics in Computer Science. _0http://scigraph.springernature.com/things/product-market-codes/I17036 |
| 700 | 1 |
_aLarsen, Kim Guldstrand. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aSokolsky, Oleg. _eeditor. _0(orcid)0000-0001-5282-0658 _1https://orcid.org/0000-0001-5282-0658 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aWang, Ji. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319694825 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319694849 |
| 830 | 0 |
_aProgramming and Software Engineering ; _v10606 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-69483-2 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 |
_c448682 _d448682 |
||
| 942 | _cEB | ||
| 506 | _aAvailable to subscribing member institutions only. Доступно лише організаціям членам підписки. | ||
| 506 | _fOnline access from local network of NaUOA. | ||
| 506 | _fOnline access with authorization at https://link.springer.com/ | ||
| 506 | _fОнлайн-доступ з локальної мережі НаУОА. | ||
| 506 | _fОнлайн доступ з авторизацією на https://link.springer.com/ | ||