Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Ebook Details


Mihai Codescu (Editor), Răzvan Diaconescu (Editor), Ionuț Țuțu

Year 2016
Pages 171
Publisher Springer
Language en
ISBN 9783319281131
File Size 6.26 MB
File Format PDF
Download Counter 436
Amazon Link

Ebook Description

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania.