| 000 | 02547nam a22005535i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-18941-3 | ||
| 003 | DE-He213 | ||
| 005 | 20200421112548.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 |
|
| 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. |
| 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 |
_aLecture Notes in Computer Science, _x0302-9743 ; _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 | _aComputer science. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aProgramming languages (Electronic computers). | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aMathematical logic. | |
| 650 | 0 | _aMathematical statistics. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
| 650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
| 650 | 2 | 4 | _aProbability and Statistics in Computer Science. |
| 700 | 1 |
_aBernardo, Marco. _eeditor. |
|
| 700 | 1 |
_aJohnsen, Einar Broch. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319189406 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v9104 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-18941-3 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c58697 _d58697 |
||