書目名稱 | Programming Languages and Systems |
副標(biāo)題 | 28th European Sympos |
編輯 | Luís Caires |
視頻video | http://file.papertrans.cn/761/760074/760074.mp4 |
叢書名稱 | 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 |
關(guān)鍵詞 | 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 |