000 | 02812nam a22005655i 4500 | ||
---|---|---|---|
001 | 978-3-030-94583-1 | ||
003 | DE-He213 | ||
005 | 20240730181133.0 | ||
007 | cr nn 008mamaa | ||
008 | 220113s2022 sz | s |||| 0|eng d | ||
020 |
_a9783030945831 _9978-3-030-94583-1 |
||
024 | 7 |
_a10.1007/978-3-030-94583-1 _2doi |
|
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aVerification, Model Checking, and Abstract Interpretation _h[electronic resource] : _b23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / _cedited by Bernd Finkbeiner, Thomas Wies. |
250 | _a1st ed. 2022. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2022. |
|
300 |
_aX, 520 p. 154 illus., 80 illus. in color. _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, _x2512-2029 ; _v13182 |
|
520 | _aThis book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. | ||
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aMathematical logic. _92258 |
|
650 | 0 |
_aArtificial intelligence. _93407 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 1 | 4 |
_aTheory of Computation. _9123569 |
650 | 2 | 4 |
_aMathematical Logic and Foundations. _934712 |
650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
650 | 2 | 4 |
_aComputer Communication Networks. _9123570 |
700 | 1 |
_aFinkbeiner, Bernd. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9123571 |
|
700 | 1 |
_aWies, Thomas. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9123572 |
|
710 | 2 |
_aSpringerLink (Online service) _9123573 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030945824 |
776 | 0 | 8 |
_iPrinted edition: _z9783030945848 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v13182 _9123574 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-94583-1 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c90716 _d90716 |