
Title:
Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
Author:
Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036
ISBN:
9783031889301
Edition:
1st ed. 2025.
Physical Description:
IX, 135 p. 18 illus., 2 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 15587
Abstract:
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.
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-88930-1Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 608470-1001 | ONLINE | Searching... | Searching... |
