000 | 03423nam a22005535i 4500 | ||
---|---|---|---|
999 |
_c200434155 _d52367 |
||
003 | DE-He213 | ||
005 | 20231104114318.0 | ||
007 | cr nn 008mamaa | ||
008 | 141211s2015 gw | s |||| 0|eng d | ||
020 |
_a9783662460818 _z978-3-662-46081-8 |
||
024 | 7 |
_a10.1007/978-3-662-46081-8 _2doi |
|
040 |
_aTR-AnTOB _beng _cTR-AnTOB _erda |
||
050 | 4 | _aQA76.9.L63 | |
050 | 4 | _aQA76.5913 | |
050 | 4 | _aQA76.63 | |
072 | 7 |
_aUM _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
072 | 7 |
_aUM _2thema |
|
072 | 7 |
_aUYF _2thema005.1015113 _223 |
|
245 | 1 | 0 |
_aVerification, Model Checking, and Abstract Interpretation : _b16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings / _cedited by Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2015. |
|
300 | _a1 online resource | ||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 0 |
_aTheoretical Computer Science and General Issues ; _v8931 |
|
505 | 0 | _aProgram verification -- Model checking -- Abstract interpretation -- Abstract domains -- Program synthesis -- Static analysis -- Deductive methods -- Program certification -- Error diagnosis -- Program transformation.- Hybrid and cyberphysical systems. | |
520 | _aThis book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems. | ||
650 | 0 | _aLogic design. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer Communication Networks. | |
650 | 0 | _aComputer science. | |
650 | 1 | 4 |
_aLogics and Meanings of Programs. _0http://scigraph.springernature.com/things/product-market-codes/I1603X |
650 | 2 | 4 |
_aSoftware Engineering. _0http://scigraph.springernature.com/things/product-market-codes/I14029 |
650 | 2 | 4 |
_aComputer Communication Networks. _0http://scigraph.springernature.com/things/product-market-codes/I13022 |
650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0http://scigraph.springernature.com/things/product-market-codes/I16048 |
650 | 2 | 4 |
_aComputation by Abstract Devices. _0http://scigraph.springernature.com/things/product-market-codes/I16013 |
650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0http://scigraph.springernature.com/things/product-market-codes/I14037 |
700 | 1 |
_aD’Souza, Deepak. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aLal, Akash. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aLarsen, Kim Guldstrand. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
856 | 4 | 0 |
_uhttps://doi.org/10.1007/978-3-662-46081-8 _3Springer eBooks _zOnline access link to the resource |
942 |
_2lcc _cEBK |
||
041 | _aeng |