Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, Cefp 2019, Budapest, Hungary, June 17-21, 2019, Revised Selec

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.

• Format: Paperback
• Language: English
• ISBN: 3031428323
• ISBN13: 9783031428326
• Release Date: October 2023
• Publisher: Springer
• Length: 393 Pages
• Weight: 1.24 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"