000 | 03239nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-319-18941-3 | ||
003 | DE-He213 | ||
005 | 20210120143332.0 | ||
007 | cr nn 008mamaa | ||
008 | 150506s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319189413 _9978-3-319-18941-3 |
||
024 | 7 |
_a10.1007/978-3-319-18941-3 _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 |
_aFormal Methods for Multicore Programming _h[electronic resource] : _b15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / _cedited by Marco Bernardo, Einar Broch Johnsen. |
250 | _a1st ed. 2015. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
300 |
_aVII, 211 p. 72 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 ; _v9104 _aLecture Notes in Computer Science _v9104 |
|
520 | _aThis book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems. | ||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aMathematical logic. | |
650 | 0 | _aMathematical statistics. | |
650 | 1 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
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 |
650 | 2 | 4 |
_aProbability and Statistics in Computer Science. _0https://scigraph.springernature.com/ontologies/product-market-codes/I17036 |
700 | 1 |
_aBernardo, Marco. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aJohnsen, Einar Broch. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319189420 |
776 | 0 | 8 |
_iPrinted edition: _z9783319189406 |
830 | 0 |
_aProgramming and Software Engineering ; _v9104 |
|
830 | 0 |
_aLecture Notes in Computer Science ; _v9104 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-18941-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c57557 _d57557 |