Recent Trends in Algebraic Development Techniques
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Autor:
Phillip James, Markus Roggenbach
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
213.28
zł
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 In...
