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 (33 Downloads) |
Book Synopsis Composability, Comprehensibility and Correctness of Working Software by : Zoltán Porkoláb
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.