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

Descrición completa

Detalles Bibliográficos

Autor Corporativo:	SpringerLink (Online service)
Outros autores:	Porkoláb, Zoltán (Editor), Zsók, Viktória (Editor)
Formato:	Electrónico eBook
Idioma:	inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edición:	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.
Acceso en liña:	https://doi.org/10.1007/978-3-031-42833-3
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!