000 | 03336nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-319-66706-5 | ||
003 | DE-He213 | ||
005 | 20210120143409.0 | ||
007 | cr nn 008mamaa | ||
008 | 170818s2017 gw | s |||| 0|eng d | ||
020 |
_a9783319667065 _9978-3-319-66706-5 |
||
024 | 7 |
_a10.1007/978-3-319-66706-5 _2doi |
|
050 | 4 | _aQA76.9.L63 | |
050 | 4 | _aQA76.5913 | |
072 | 7 |
_aUM _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
072 | 7 |
_aUM _2thema |
|
072 | 7 |
_aUYF _2thema |
|
082 | 0 | 4 |
_a005.1015113 _223 |
245 | 1 | 0 |
_aStatic Analysis _h[electronic resource] : _b24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings / _cedited by Francesco Ranzato. |
250 | _a1st ed. 2017. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
300 |
_aXIV, 473 p. 114 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 ; _v10422 _aLecture Notes in Computer Science _v10422 |
|
505 | 0 | _aTheoretical, practical, and applicational advances in area of static analysis -- Program verification.- Bug detection -- Compiler organization -- Program understanding -- Software maintenance. . | |
520 | _aThis book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance. . | ||
650 | 0 | _aComputer logic. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aMathematical logic. | |
650 | 1 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 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 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
700 | 1 |
_aRanzato, Francesco. _eeditor. _0(orcid)0000-0003-0159-0068 _1https://orcid.org/0000-0003-0159-0068 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319667058 |
776 | 0 | 8 |
_iPrinted edition: _z9783319667072 |
830 | 0 |
_aProgramming and Software Engineering ; _v10422 |
|
830 | 0 |
_aLecture Notes in Computer Science ; _v10422 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-66706-5 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c58164 _d58164 |