Recent Trends in Algebraic Development Techniques
Subtitle: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ...
Publisher: Springer
Published: Dec 08, 2017
Format: paperback
Number of pages: 233
ISBN-13: 9783319720432
Notes: Source title: Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ... (Lecture Notes in Computer Science (10644))