| 000 | 03914nam a22006615i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-63387-9 | ||
| 003 | DE-He213 | ||
| 005 | 20210120143312.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 170712s2017 gw | s |||| 0|eng d | ||
| 020 |
_a9783319633879 _9978-3-319-63387-9 |
||
| 024 | 7 |
_a10.1007/978-3-319-63387-9 _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 |
_aComputer Aided Verification _h[electronic resource] : _b29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / _cedited by Rupak Majumdar, Viktor Kunčak. |
| 250 | _a1st ed. 2017. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
| 300 |
_aXIX, 601 p. 142 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 ; _v10426 _aLecture Notes in Computer Science _v10426 |
|
| 505 | 0 | _aData Driven Techniques -- Runtime Verication -- Cyber-Physical Systems -- Concurrency -- Analysis of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems -- Synthesis -- Decision Procedures and their Applications -- Software Analysis. | |
| 520 | _aThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. | ||
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aComputer simulation. | |
| 650 | 0 | _aComputers. | |
| 650 | 0 | _aComputer system failures. | |
| 650 | 0 | _aArtificial intelligence. | |
| 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 |
_aSimulation and Modeling. _0https://scigraph.springernature.com/ontologies/product-market-codes/I19000 |
| 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 |
_aArtificial Intelligence. _0https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
| 700 | 1 |
_aMajumdar, Rupak. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aKunčak, Viktor. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319633862 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319633886 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues ; _v10426 |
|
| 830 | 0 |
_aLecture Notes in Computer Science ; _v10426 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-63387-9 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c57230 _d57230 |
||