Spar
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.
The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions.
- Undertittel
- 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
- Redaktør
- Markus Roggenbach
- Opplag
- 1st ed. 2021
- ISBN
- 9783030737849
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 11.4.2021
- Antall sider
- 165
