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)

Development

von: Phillip James · Markus Roggenbach

Taschenbuch

ISBN-13: 978-3-319-72043-2

ISBN-10: 3-319-72043-0

Springer · 2017