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篇短文經過仔細審核和選擇。這些講座涵蓋了各種程式設計主題,重點在於可組合性、可理解性和工作軟體的正確性。

類似商品