000 | 03575nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-319-66197-1 | ||
003 | DE-He213 | ||
005 | 20210120143405.0 | ||
007 | cr nn 008mamaa | ||
008 | 170812s2017 gw | s |||| 0|eng d | ||
020 |
_a9783319661971 _9978-3-319-66197-1 |
||
024 | 7 |
_a10.1007/978-3-319-66197-1 _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 |
_aSoftware Engineering and Formal Methods _h[electronic resource] : _b15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / _cedited by Alessandro Cimatti, Marjan Sirjani. |
250 | _a1st ed. 2017. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
300 |
_aXIX, 410 p. 94 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 ; _v10469 _aLecture Notes in Computer Science _v10469 |
|
520 | _aThis book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an d design principles. . | ||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aComputer programming. | |
650 | 0 | _aComputers. | |
650 | 0 | _aComputer system failures. | |
650 | 0 | _aArtificial intelligence. | |
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 |
_aTheory of Computation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16005 |
650 | 2 | 4 |
_aSystem Performance and Evaluation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13049 |
650 | 2 | 4 |
_aArtificial Intelligence. _0https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
700 | 1 |
_aCimatti, Alessandro. _eeditor. _0(orcid)0000-0002-1315-6990 _1https://orcid.org/0000-0002-1315-6990 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aSirjani, Marjan. _eeditor. _0(orcid)0000-0001-5478-0987 _1https://orcid.org/0000-0001-5478-0987 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319661964 |
776 | 0 | 8 |
_iPrinted edition: _z9783319661988 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v10469 |
|
830 | 0 |
_aLecture Notes in Computer Science ; _v10469 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-66197-1 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c58095 _d58095 |