Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and ... (Lecture Notes in Computer Science)
暫譯: 程式語言與系統：第25屆歐洲程式設計研討會，ESOP 2016，作為歐洲聯合會議理論與實務的一部分...(計算機科學講義)
- 出版商: Springer
- 出版日期: 2016-03-23
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 820
- 裝訂: Paperback
- ISBN: 3662494973
- ISBN-13: 9783662494974
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems, ESOP features contributions on all aspects of programming language research; theoretical and/or practical advances.
商品描述(中文翻譯)
本書為第25屆歐洲程式設計研討會（European Symposium on Programming, ESOP 2016）的會議紀錄，該會議於2016年4月在荷蘭埃因霍溫舉行，並作為2016年歐洲軟體理論與實踐聯合會議（European Joint Conferences on Theory and Practice of Software, ETAPS 2016）的一部分。本卷中所呈現的29篇論文經過仔細審查和選擇，來自98篇投稿。ESOP專注於程式語言和系統的規範、設計、分析和實作等基本問題，涵蓋程式語言研究的各個方面，包括理論和/或實務的進展。
