Spara
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.
- Undertitel
- 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
- Redaktör
- Markus Roggenbach
- Upplaga
- 1st ed. 2021
- ISBN
- 9783030737849
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2021-04-11
- Sidor
- 165
