Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /

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 c...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Porkoláb, Zoltán (Editor), Zsók, Viktória (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 11950
Subjects:	Computer programming. Software engineering. Compilers (Computer programs). Computer science. Programming Techniques. Software Engineering. Compilers and Interpreters. Computer Science Logic and Foundations of Programming.
Online Access:	https://doi.org/10.1007/978-3-031-42833-3
Tags:	Add Tag No Tags, Be the first to tag this record!