Data & IT
Pocket
Recent Trends in Algebraic Development Techniques
Ionu? ?U?U • Ionuț ȚUțU • Ionu¿ ¿U¿U • Ionu¿ ¿U¿U
1819:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 749:-
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. Thecontributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledgerepresentation, 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.
- Format: Pocket/Paperback
- ISBN: 9783031889295
- Språk: Engelska
- Antal sidor: 135
- Utgivningsdatum: 2025-05-16
- Förlag: Springer International Publishing AG