| 000 | 02636nam a22005175i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-39176-7 | ||
| 003 | DE-He213 | ||
| 005 | 20200421111655.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 130531s2013 gw | s |||| 0|eng d | ||
| 020 |
_a9783642391767 _9978-3-642-39176-7 |
||
| 024 | 7 |
_a10.1007/978-3-642-39176-7 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aModel Checking Software _h[electronic resource] : _b20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / _cedited by Ezio Bartocci, C. R. Ramakrishnan. |
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
|
| 300 |
_aX, 377 p. 143 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7976 |
|
| 505 | 0 | _aExplicit-state model checking techniques -- Other related tools -- Techniques for the verification and formal testing of software systems in general. | |
| 520 | _aThis book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aProgramming languages (Electronic computers). | |
| 650 | 0 | _aComputer logic. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 700 | 1 |
_aBartocci, Ezio. _eeditor. |
|
| 700 | 1 |
_aRamakrishnan, C. R. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642391750 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7976 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-39176-7 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c54623 _d54623 |
||