Composability, Comprehensibility and Correctness of Working Software
Author | : Zoltán Porkoláb |
Publisher | : Springer Nature |
Total Pages | : 398 |
Release | : 2023-11-18 |
ISBN-10 | : 9783031428333 |
ISBN-13 | : 3031428331 |
Rating | : 4/5 (331 Downloads) |
Download or read book Composability, Comprehensibility and Correctness of Working Software written by Zoltán Porkoláb and published by Springer Nature. This book was released on 2023-11-18 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.