Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Recent Trends in Algebraic Development Techniques | Narciso Martí-Oliet | This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. Th… | OL19898953W |