Functional and Logic Programming
16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation,…
Mehr
CHF 84.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Hanus, Michael (Hrsg.)
- ISBN: 978-3-030-99460-0
- EAN: 9783030994600
- Produktnummer: 38643125
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2022
- Seitenangabe: 300 S.
- Masse: H23.5 cm x B15.5 cm x D1.6 cm 458 g
- Auflage: 1st ed. 2022
- Abbildungen: Paperback
- Reihenbandnummer: 13215
- Gewicht: 458
6 weitere Werke von Atsushi (Hrsg.) Igarashi:
Concurrent Objects and Beyond
16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
Ebook (PDF Format)
CHF 75.50
Bewertungen
Anmelden