| 000 | 03208nam a22005415i 4500 | ||
|---|---|---|---|
| 999 |
_c200434120 _d52332 |
||
| 003 | DE-He213 | ||
| 005 | 20231104114312.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150609s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783319197975 _z978-3-319-19797-5 |
||
| 024 | 7 |
_a10.1007/978-3-319-19797-5 _2doi |
|
| 040 |
_aTR-AnTOB _beng _cTR-AnTOB _erda |
||
| 050 | 4 | _aQA76.9.L63 | |
| 050 | 4 | _aQA76.5913 | |
| 050 | 4 | _aQA76.63 | |
| 072 | 7 |
_aUM _2bicssc |
|
| 072 | 7 |
_aCOM051000 _2bisacsh |
|
| 072 | 7 |
_aUM _2thema |
|
| 072 | 7 |
_aUYF _2thema005.1015113 _223 |
|
| 245 | 1 | 0 |
_aMathematics of Program Construction : _b12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / _cedited by Ralf Hinze, Janis Voigtländer. |
| 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 ; _v9129 |
|
| 505 | 0 | _aType Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics. | |
| 520 | _aThis book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics. | ||
| 650 | 0 | _aLogic design. | |
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aComputational complexity. | |
| 650 | 1 | 4 |
_aLogics and Meanings of Programs. _0http://scigraph.springernature.com/things/product-market-codes/I1603X |
| 650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0http://scigraph.springernature.com/things/product-market-codes/I16048 |
| 650 | 2 | 4 |
_aSoftware Engineering. _0http://scigraph.springernature.com/things/product-market-codes/I14029 |
| 650 | 2 | 4 |
_aDiscrete Mathematics in Computer Science. _0http://scigraph.springernature.com/things/product-market-codes/I17028 |
| 650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0http://scigraph.springernature.com/things/product-market-codes/I14037 |
| 650 | 2 | 4 |
_aMath Applications in Computer Science. _0http://scigraph.springernature.com/things/product-market-codes/I17044 |
| 700 | 1 |
_aHinze, Ralf. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aVoigtländer, Janis. _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-19797-5 _3Springer eBooks _zOnline access link to the resource |
| 942 |
_2lcc _cEBK |
||
| 041 | _aeng | ||