Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers /
Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / [electronic resource] :
edited by Zoltán Porkoláb, Viktória Zsók.
- 1st ed. 2023.
- X, 393 p. 116 illus., 39 illus. in color. online resource.
- Lecture Notes in Computer Science, 11950 1611-3349 ; .
- Lecture Notes in Computer Science, 11950 .
Acceso multiusuario
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.
9783031428333
Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
QA76.6-76.66
005.11
Acceso multiusuario
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.
9783031428333
Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
QA76.6-76.66
005.11
