Recent Trends in Algebraic Development Techniques
Subtitle: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
Publisher: Springer
Published: Jun 26, 2019
Format: paperback
Number of pages: 184
ISBN-13: 9783030232191
Notes: Source title: Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers (Lecture Notes in Computer Science (11563))