Programming Languages and Systems
Programming Languages and Systems
Buch
- 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6¿11, 2024, Proceedings, Part II
- Herausgeber: Stephanie Weirich
- Springer Nature Switzerland, 04/2024
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783031572661
- Bestellnummer: 11818277
- Umfang: 468 Seiten
- Auflage: 2024
- Gewicht: 703 g
- Maße: 235 x 155 mm
- Stärke: 26 mm
- Erscheinungstermin: 5.4.2024
- Serie: Lecture Notes in Computer Science - Band 14577
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Programming Languages and Systems
Klappentext
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:
Part I: Effects and modal types; bidirectional typing and session types; dependent types;
Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
Mehr von Lecture Notes i...
![Mobile Web and Intelligent Information Systems, Buch](https://wom.de/image/h90/front/0/9783031680045.jpg)
Muhammad Younas
Mobile Web and Intelligent Information Systems
Buch
EUR 72,27*
![Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium, Buch](https://wom.de/image/h90/front/0/9783031592348.jpg)
Michael Harrison
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium
Buch
EUR 63,51*
![Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops, Buch](https://wom.de/image/h90/front/0/9783031660207.jpg)
Alessandro Aldini
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Buch
EUR 43,80*
![Architecture of Computing Systems, Buch](https://wom.de/image/h90/front/0/9783031661457.jpg)
Dietmar Fey
Architecture of Computing Systems
Buch
EUR 142,37*
![Trustworthy Artificial Intelligence for Healthcare, Buch](https://wom.de/image/h90/front/0/9783031677502.jpg)
Hao Chen
Trustworthy Artificial Intelligence for Healthcare
Buch
EUR 54,75*
![Programming Languages and Systems, Buch](https://wom.de/image/w468/front/0/9783031572661.jpg)
Programming Languages and Systems
EUR 43,80*