ISBN 9783319720432 books & textbook
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... Computer Science and General Issues)
James, Phillip Roggenbach, Markus
Springer /2017-12-08 Paperback / 233 Pages
isbn-10: 3319720430 / isbn-13: 9783319720432
