| 000 | 03829nam a22006495i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-67113-0 | ||
| 003 | DE-He213 | ||
| 005 | 20210120143258.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 170824s2017 gw | s |||| 0|eng d | ||
| 020 |
_a9783319671130 _9978-3-319-67113-0 |
||
| 024 | 7 |
_a10.1007/978-3-319-67113-0 _2doi |
|
| 050 | 4 | _aQA76.7-76.73 | |
| 050 | 4 | _aQA76.76.C65 | |
| 072 | 7 |
_aUMX _2bicssc |
|
| 072 | 7 |
_aCOM051010 _2bisacsh |
|
| 072 | 7 |
_aUMX _2thema |
|
| 072 | 7 |
_aUMC _2thema |
|
| 082 | 0 | 4 |
_a005.13 _223 |
| 245 | 1 | 0 |
_aCritical Systems: Formal Methods and Automated Verification _h[electronic resource] : _bJoint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / _cedited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti. |
| 250 | _a1st ed. 2017. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
| 300 |
_aXIV, 235 p. 52 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 ; _v10471 _aLecture Notes in Computer Science _v10471 |
|
| 505 | 0 | _aAutomated verification techniques -- Testing and scheduling -- Formal Methods for mobile and autonomous robots -- Modeling and analysis techniques. | |
| 520 | _aThis book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques. | ||
| 650 | 0 | _aProgramming languages (Electronic computers). | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aSpecial purpose computers. | |
| 650 | 0 | _aMathematical logic. | |
| 650 | 1 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
| 650 | 2 | 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 |
_aSpecial Purpose and Application-Based Systems. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13030 |
| 650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
| 700 | 1 |
_aPetrucci, Laure. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aSeceleanu, Cristina. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aCavalcanti, Ana. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319671123 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319671147 |
| 830 | 0 |
_aProgramming and Software Engineering ; _v10471 |
|
| 830 | 0 |
_aLecture Notes in Computer Science ; _v10471 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-67113-0 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c56995 _d56995 |
||