| 000 | 03500nam a22006375i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-90104-6 | ||
| 003 | DE-He213 | ||
| 005 | 20210201191413.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 180417s2018 gw | s |||| 0|eng d | ||
| 020 |
_a9783319901046 _9978-3-319-90104-6 |
||
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 072 | 7 |
_aUL _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aStructured Object-Oriented Formal Language and Method _h[electronic resource] : _b7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / _cedited by Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan. |
| 250 | _a1st ed. 2018. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
| 300 |
_aX, 219 p. 66 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 ; _v10795 |
|
| 500 | _aAcceso multiusuario | ||
| 505 | 0 | _aAnimation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. | |
| 520 | _aThis book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation. | ||
| 541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aAlgorithms. | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 1 | 4 |
_aSoftware Engineering/Programming and Operating Systems. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14002 |
| 650 | 2 | 4 |
_aAlgorithm Analysis and Problem Complexity. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16021 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
| 650 | 2 | 4 |
_aArtificial Intelligence. _0https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
| 700 | 1 |
_aTian, Cong. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aNagoya, Fumiko. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aLiu, Shaoying. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aDuan, Zhenhua. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319901039 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319901053 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues ; _v10795 |
|
| 856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-90104-6 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cLIBRO_ELEC | ||
| 999 |
_c243104 _d243103 |
||