Composability, Comprehensibility and Correctness of Working Software
Download or Read eBook Composability, Comprehensibility and Correctness of Working Software PDF 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.
| 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
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.
