Recent Trends in Algebraic Development Techniques, Kartoniert / Broschiert

Recent Trends in Algebraic Development Techniques

Buch

27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 120,46

Versandkosten

Herausgeber:: Ionu¿ ¿U¿U
Verlag:: Springer Nature Switzerland, 05/2025
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783031889295
Artikelnummer:: 12297981
Umfang:: 148 Seiten
Gewicht:: 236 g
Maße:: 235 x 155 mm
Stärke:: 9 mm
Erscheinungstermin:: 16.5.2025
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Weitere Ausgaben von Recent Trends in Algebraic Development Techniques	Preis

Klappentext

This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024.

The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.