Recent Trends in Algebraic Development Techniques
Subtitle: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Publisher: Springer
Published: Dec 31, 2015
Format: paperback
Number of pages: 182
ISBN-13: 9783319281131
Notes: Source title: Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Lecture Notes in Computer Science (9463))