| 000 | 03867naaaa2200865uu 4500 | ||
|---|---|---|---|
| 001 | http://library.oapen.org/handle/20.500.12657/37721 | ||
| 005 | 20230323120735.0 | ||
| 003 | oapen | ||
| 006 | m o d | ||
| 007 | cr|mn|---annan | ||
| 008 | 20200513s2020 xx |||||o ||| 0|eng d | ||
| 020 | _a978-3-030-44914-8 | ||
| 040 |
_aoapen _coapen |
||
| 024 | 7 |
_a10.1007/978-3-030-44914-8 _cdoi |
|
| 041 | 0 | _aeng | |
| 042 | _adc | ||
| 072 | 7 |
_aUMX _2bicssc |
|
| 072 | 7 |
_aUT _2bicssc |
|
| 072 | 7 |
_aUMB _2bicssc |
|
| 072 | 7 |
_aUYQL _2bicssc |
|
| 072 | 7 |
_aUY _2bicssc |
|
| 100 | 1 |
_aMüller, Peter _4edt |
|
| 700 | 1 |
_aMüller, Peter _4oth |
|
| 245 | 1 | 0 |
_aProgramming Languages and Systems _b29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings |
| 260 |
_aCham _bSpringer Nature _c2020 |
||
| 300 | _a1 electronic resource (772 p.) | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aLecture Notes in Computer Science; Theoretical Computer Science and General Issues _v12075 |
|
| 506 | 0 |
_aOpen Access _2star _fUnrestricted online access |
|
| 520 | _aThis open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. | ||
| 540 |
_aCreative Commons _fby/4.0/ _2cc _4http://creativecommons.org/licenses/by/4.0/ |
||
| 546 | _aEnglish | ||
| 650 | 7 |
_aProgramming & scripting languages: general _2bicssc |
|
| 650 | 7 |
_aComputer networking & communications _2bicssc |
|
| 650 | 7 |
_aAlgorithms & data structures _2bicssc |
|
| 650 | 7 |
_aNatural language & machine translation _2bicssc |
|
| 650 | 7 |
_aComputer science _2bicssc |
|
| 653 | _aProgramming Languages, Compilers, Interpreters | ||
| 653 | _aComputer Systems Organization and Communication Networks | ||
| 653 | _aControl Structures and Microprogramming | ||
| 653 | _aInformation Systems and Communication Service | ||
| 653 | _aNatural Language Processing (NLP) | ||
| 653 | _aTheory of Computation | ||
| 653 | _aartificial intelligence | ||
| 653 | _acomputer networks | ||
| 653 | _acomputer programming | ||
| 653 | _acomputer security | ||
| 653 | _adistributed computer systems | ||
| 653 | _aembedded systems | ||
| 653 | _aformal languages | ||
| 653 | _aformal logic | ||
| 653 | _alinguistics | ||
| 653 | _amathematics | ||
| 653 | _amodel checking | ||
| 653 | _aobject-oriented programming | ||
| 653 | _aparallel processing systems | ||
| 653 | _aprogram compilers | ||
| 653 | _asemantics | ||
| 653 | _asoftware architecture | ||
| 653 | _asoftware design | ||
| 653 | _asoftware engineering | ||
| 653 | _asoftware quality | ||
| 653 | _averification and validation | ||
| 653 | _aProgramming & scripting languages: general | ||
| 653 | _aCompilers & interpreters | ||
| 653 | _aComputer networking & communications | ||
| 653 | _aAlgorithms & data structures | ||
| 653 | _aNatural language & machine translation | ||
| 653 | _aComputer science | ||
| 653 | _aMathematical theory of computation | ||
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://library.oapen.org/bitstream/id/da272459-360d-46e6-a5d9-67f673eb5362/2020_Book_ProgrammingLanguagesAndSystems.pdf _70 _zOAPEN Library: download the publication |
| 856 | 4 | 0 |
_awww.oapen.org _uhttp://library.oapen.org/handle/20.500.12657/37721 _70 _zOAPEN Library: description of the publication |
| 999 |
_c6184 _d6184 |
||
| 909 |
_a4 _bDarya Shvetsova _c4 _dDarya Shvetsova |
||