000 | 03596nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-319-92970-5 | ||
003 | DE-He213 | ||
005 | 20210201191306.0 | ||
007 | cr nn 008mamaa | ||
008 | 180529s2018 gw | s |||| 0|eng d | ||
020 |
_a9783319929705 _9978-3-319-92970-5 |
||
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 |
_aSoftware Engineering and Formal Methods _h[electronic resource] : _b16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / _cedited by Einar Broch Johnsen, Ina Schaefer. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aXIV, 303 p. 98 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues ; _v10886 |
|
500 | _aAcceso multiusuario | ||
505 | 0 | _aSpecification -- Concurrency -- Program analysis -- Model checking and runtime verification -- Applications -- Shape analysis and reuse. | |
520 | _aThis book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse. | ||
541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aComputer programming. | |
650 | 0 | _aComputers. | |
650 | 0 | _aComputer system failures. | |
650 | 1 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
650 | 2 | 4 |
_aProgramming Techniques. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14010 |
650 | 2 | 4 |
_aThe Computing Profession. _0https://scigraph.springernature.com/ontologies/product-market-codes/I24075 |
650 | 2 | 4 |
_aSystem Performance and Evaluation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13049 |
650 | 2 | 4 |
_aTheory of Computation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16005 |
700 | 1 |
_aJohnsen, Einar Broch. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aSchaefer, Ina. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319929699 |
776 | 0 | 8 |
_iPrinted edition: _z9783319929712 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v10886 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-92970-5 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c241785 _d241784 |