Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers ... Science and General Issues Book 11563)

4.77 MiB

Download ready in 3s