Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised ... Notes in Computer Science, Band 10644)

von: Phillip James · Markus Roggenbach Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) Details (Kanada) (siehe auch: eBook (Kindle)) ISBN-13: 978-3-319-72043-2 ISBN-10: 3-319-72043-0 Springer · 2017