Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers (Lecture Notes in Computer Science, 12669)

More Information

Format: Paperback
Pages: 174
Edition: 1st ed. 2021
Publisher: Springer
Published: 11 Apr 2021
ISBN 10: 3030737845
ISBN 13: 9783030737849