Ionut Tutu,
Ionuț Țuțu
Recent Trends in Algebraic Development Techniques
27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised
Paperback EN 2025 9783031889295Levertijd ± 16 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9783031889295
Taal:EN
Bindwijze:Paperback
Aantal pagina's:135
Uitgever:Springer International Publishing AG
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan