| 书目名称 | Programming Languages and Systems |
| 副标题 | 28th European Sympos |
| 编辑 | Luís Caires |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This open access book constitutes the proceedings of the 28.th. European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. |
| 出版日期 | Conference proceedings‘‘‘‘‘‘‘‘ 2019 |
| 关键词 | computer science; formal logic; operational semantics; program compilers; programming languages; software |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-17184-1 |
| isbn_softcover | 978-3-030-17183-4 |
| isbn_ebook | 978-3-030-17184-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s) 2019 |
发表于 2025-3-21 18:20:27
