Andere Kunden interessierten sich auch für
![Trends in Functional Programming]( "Trends in Functional Programming")
Trends in Functional Programming41,99 €![Engineering Trustworthy Software Systems]( "Engineering Trustworthy Software Systems")
Engineering Trustworthy Software Systems37,99 €![Formal Methods and Software Engineering]( "Formal Methods and Software Engineering")
Formal Methods and Software Engineering37,99 €![Formal Aspects of Component Software]( "Formal Aspects of Component Software")
Formal Aspects of Component Software37,99 €![Engineering Trustworthy Software Systems]( "Engineering Trustworthy Software Systems")
Engineering Trustworthy Software Systems43,99 €![Verified Software. Theories, Tools, and Experiments]( "Verified Software. Theories, Tools, and Experiments")
Verified Software. Theories, Tools, and Experiments37,99 €![Fundamentals of Software Engineering]( "Fundamentals of Software Engineering")
Fundamentals of Software Engineering37,99 €
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.
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.