Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók.
Contributor(s): Porkoláb, Zoltán [editor.]
| Zsók, Viktória [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Lecture Notes in Computer Science: 11950Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Edition: 1st ed. 2023.Description: X, 393 p. 116 illus., 39 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783031428333.Subject(s): Computer programming | Software engineering | Compilers (Computer programs) | Computer science | Programming Techniques | Software Engineering | Compilers and Interpreters | Computer Science Logic and Foundations of ProgrammingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.11 Online resources: Click here to access online
In:
Springer Nature eBookSummary: 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.
No physical items for this record
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.
There are no comments for this item.