| 000 | 02679nam a22004695i 4500 | ||
|---|---|---|---|
| 003 | DE-He213 | ||
| 005 | 20231104114433.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150506s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783319189413 _z978-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 _2thema005.1 _223 |
|
| 245 | 1 | 0 |
_aFormal Methods for Multicore Programming : _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. |
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
| 300 | _a1 online resource | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 0 |
_aProgramming and Software Engineering ; _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 | _aLogic design. | |
| 650 | 0 | _aComputer science. | |
| 650 | 1 | 4 |
_aSoftware Engineering. _0http://scigraph.springernature.com/things/product-market-codes/I14029 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs. _0http://scigraph.springernature.com/things/product-market-codes/I1603X |
| 650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0http://scigraph.springernature.com/things/product-market-codes/I14037 |
| 650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0http://scigraph.springernature.com/things/product-market-codes/I16048 |
| 650 | 2 | 4 |
_aProbability and Statistics in Computer Science. _0http://scigraph.springernature.com/things/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) | |
| 856 | 4 | 0 |
_uhttps://doi.org/10.1007/978-3-319-18941-3 _3Springer eBooks _zOnline access link to the resource |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 |
_c200434555 _d52767 |
||
| 942 |
_2lcc _cEBK |
||
| 041 | _aeng | ||