| 000 | 02561nam a22005415i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-31759-0 | ||
| 003 | DE-He213 | ||
| 005 | 20240423125811.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 120718s2012 gw | s |||| 0|eng d | ||
| 020 |
_a9783642317590 _9978-3-642-31759-0 |
||
| 024 | 7 |
_a10.1007/978-3-642-31759-0 _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 |
_aModel Checking Software _h[electronic resource] : _b19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings / _cedited by Alastair Donaldson, David Parker. |
| 250 | _a1st ed. 2012. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012. |
|
| 300 |
_aX, 261 p. 85 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, _x2512-2029 ; _v7385 |
|
| 520 | _aThis book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations. | ||
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aCompilers (Computer programs). | |
| 650 | 0 | _aComputer science. | |
| 650 | 1 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aCompilers and Interpreters. |
| 650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
| 700 | 1 |
_aDonaldson, Alastair. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aParker, David. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642317583 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642317606 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v7385 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-31759-0 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c181838 _d181838 |
||