000 | 03002nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-642-33386-6 | ||
003 | DE-He213 | ||
005 | 20240730191621.0 | ||
007 | cr nn 008mamaa | ||
008 | 120928s2012 gw | s |||| 0|eng d | ||
020 |
_a9783642333866 _9978-3-642-33386-6 |
||
024 | 7 |
_a10.1007/978-3-642-33386-6 _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 |
_aAutomated Technology for Verification and Analysis _h[electronic resource] : _b10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings / _cedited by Madhavan Mukund, Supratik Chakraborty. |
250 | _a1st ed. 2012. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012. |
|
300 |
_aXIV, 438 p. 106 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, _x2945-9168 ; _v7561 |
|
520 | _aThis book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer programming. _94169 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aCompilers (Computer programs). _93350 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aProgramming Techniques. _9146700 |
650 | 2 | 4 |
_aComputer Communication Networks. _9146701 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
700 | 1 |
_aMukund, Madhavan. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9146702 |
|
700 | 1 |
_aChakraborty, Supratik. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9146703 |
|
710 | 2 |
_aSpringerLink (Online service) _9146704 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642333859 |
776 | 0 | 8 |
_iPrinted edition: _z9783642333873 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7561 _9146705 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-33386-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c93821 _d93821 |