Tallenna
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.
- Alaotsikko
- 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
- Toimittaja
- Markus Roggenbach
- Painos
- 1st ed. 2021
- ISBN
- 9783030737849
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 11.4.2021
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 165
