000 | 03278nam a22006135i 4500 | ||
---|---|---|---|
001 | 978-3-319-31220-0 | ||
003 | DE-He213 | ||
005 | 20210120143313.0 | ||
007 | cr nn 008mamaa | ||
008 | 160330s2016 gw | s |||| 0|eng d | ||
020 |
_a9783319312200 _9978-3-319-31220-0 |
||
024 | 7 |
_a10.1007/978-3-319-31220-0 _2doi |
|
050 | 4 | _aQA76.9.L63 | |
050 | 4 | _aQA76.5913 | |
072 | 7 |
_aUM _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
072 | 7 |
_aUM _2thema |
|
072 | 7 |
_aUYF _2thema |
|
082 | 0 | 4 |
_a005.1015113 _223 |
245 | 1 | 0 |
_aStructured Object-Oriented Formal Language and Method _h[electronic resource] : _b5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers / _cedited by Shaoying Liu, Zhenhua Duan. |
250 | _a1st ed. 2016. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016. |
|
300 |
_aVIII, 219 p. 90 illus. in color. _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 ; _v9559 _aLecture Notes in Computer Science _v9559 |
|
505 | 0 | _aModeling and Specification -- Testing and Debugging -- Model Checking and Verification -- Algorithm and Transformation. | |
520 | _aThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm. | ||
650 | 0 | _aComputer logic. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aMathematical logic. | |
650 | 1 | 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 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
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: _z9783319312194 |
776 | 0 | 8 |
_iPrinted edition: _z9783319312217 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v9559 |
|
830 | 0 |
_aLecture Notes in Computer Science ; _v9559 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-31220-0 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c57253 _d57253 |