Obálka

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

Uloženo v:

Podrobná bibliografie
Korporativní autor:	SpringerLink (Online service)
Další autoři:	Porkoláb, Zoltán (Editor), Zsók, Viktória (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Vydání:	1st ed. 2023.
Edice:	Lecture Notes in Computer Science, 11950
Témata:	Computer programming. Software engineering. Compilers (Computer programs). Computer science. Programming Techniques. Software Engineering. Compilers and Interpreters. Computer Science Logic and Foundations of Programming.
On-line přístup:	https://doi.org/10.1007/978-3-031-42833-3
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Learn coding with Python and JavaScript A practical introduction for beginners /
Autor: Zuckarelli, Joachim L.
Vydáno: (2024)

Compiler Construction Fundamentals and Applications /
Autor: Mössenböck, Hanspeter
Vydáno: (2025)

Design Patterns with Java An Introduction /
Autor: Musch, Olaf
Vydáno: (2023)

Guide to Java A Concise Introduction to Programming /
Autor: Streib, James T., a další
Vydáno: (2023)

Introduction to Compiler Design
Autor: Mogensen, Torben Ægidius
Vydáno: (2024)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
Autor: Aho, Alfred V.

The Essence of Compilers /
Autor: Hunter, Robin
Vydáno: (2007)

The Essence of Compilers /
Autor: Hunter, Robin
Vydáno: (2007)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
Autor: Aho, Alfred V.

The Essence of Compilers /
Autor: Hunter, Robin
Vydáno: (2007)

Principles of compiler design : with a foreword and suggested exercises by S. Biswas
Autor: Aho, Alfred V.

Programming Languages: Principles and Paradigms
Autor: Gabbrielli, Maurizio, a další
Vydáno: (2023)

A Concise Introduction to Software Engineering With Open Source and GenAI /
Autor: Jalote, Pankaj
Vydáno: (2025)

Modern compiler design
Autor: Grune, Dick
Vydáno: (2000)

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
Vydáno: (2023)

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
Vydáno: (2024)

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings /
Vydáno: (2023)

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Vydáno: (2025)

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings /
Vydáno: (2025)

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Vydáno: (2023)

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /
Vydáno: (2023)

A Beginners Guide to Python 3 Programming
Autor: Hunt, John
Vydáno: (2023)

Advanced Guide to Python 3 Programming
Autor: Hunt, John
Vydáno: (2023)

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
Vydáno: (2025)

Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings /
Vydáno: (2023)

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings /
Vydáno: (2024)

Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers /
Vydáno: (2024)

Software Engineering for Students : A Programming Approach /
Autor: Bell, Douglas
Vydáno: (2005)

Software Engineering for Students : A Programming Approach /
Autor: Bell, Douglas
Vydáno: (2005)

Software Engineering for Students : A Programming Approach /
Autor: Bell, Douglas
Vydáno: (2005)

Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
Vydáno: (2023)

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings /
Vydáno: (2024)

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Vydáno: (2023)

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings /
Vydáno: (2024)

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings /
Vydáno: (2025)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Vydáno: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Vydáno: (2023)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Vydáno: (2023)

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19–20, 2024, Proceedings /
Vydáno: (2024)

Software Tools in Pascal /
Autor: Kernighan, Brian W.
Vydáno: (1981)