Delwedd Flaen

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

Disgrifiad llawn

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awdur Corfforaethol: SpringerLink (Online service)
Awduron Eraill: Porkoláb, Zoltán (Golygydd), Zsók, Viktória (Golygydd)
Fformat: Electronig eLyfr
Iaith:Saesneg
Cyhoeddwyd: Cham : Springer International Publishing : Imprint: Springer, 2023.
Rhifyn:1st ed. 2023.
Cyfres:Lecture Notes in Computer Science, 11950
Pynciau:
Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Mynediad Ar-lein:https://doi.org/10.1007/978-3-031-42833-3
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Disgrifiad
Crynodeb: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.
Disgrifiad Corfforoll:1 online resource (X, 393 p. 116 illus.). 39 illus. in color.
ISBN:9783031428333
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-42833-3

Eitemau Tebyg