Author/Creator: James, Phillip (Phillip D.) - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator James, Phillip (Phillip D.)

1. Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers /: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers. (2017)

Editors:: James, Phillip (Phillip D.); Roggenbach, Markus
Other Names:: WADT (Workshop), 23rd
Record Type:: Book
Extent:: 1 online resource (x, 223 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗