Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, Cefp 2019, Budapest, Hungary, June 17-21, 2019, Revised Selec
Porkoláb, Zoltán, Zsók, Viktória
- 出版商: Springer
- 出版日期: 2023-10-18
- 售價: $3,120
- 貴賓價: 9.5 折 $2,964
- 語言: 英文
- 頁數: 393
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031428323
- ISBN-13: 9783031428326
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.
The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.
商品描述(中文翻譯)
本書為2019年6月在匈牙利布達佩斯舉行的第八屆夏季學校CEFP 2019的修訂選定論文集。本卷收錄的7篇完整論文和4篇短文經過仔細審核和選擇。這些講座涵蓋了各種程式設計主題,重點在於可組合性、可理解性和工作軟體的正確性。