Recent Trends in Algebraic Development Techniques: 23rd Ifip Wg 1.3 International Workshop, Wadt 2016, Gregynog, Uk, September 21-24, 2016, Revised Se 2017 Edition Contributor(s): James, Phillip (Editor), Roggenbach, Markus (Editor) |
|
ISBN: 3319720430 ISBN-13: 9783319720432 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: December 2017 |
Additional Information |
BISAC Categories: - Computers | Compilers - Mathematics | Logic - Computers | Software Development & Engineering - General |
Dewey: 005.101 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.5" H x 6.14" W x 9.21" (0.74 lbs) 223 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK. |