Recent trends in algebraic development techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /
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. The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The worksho...
Corporate Authors: | WADT (Workshop) Salamanca, Spain) |
---|---|
Other Authors: | WADT (Workshop), Martí-Oliet, N., Palomino, Miguel., SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2013.
Berlin ; New York : [2013] |
Physical Description: |
1 online resource (x, 282 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
7841. LNCS sublibrary. Theoretical computer science and general issues. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |