Recent trends in algebraic development techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
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. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus...
| Corporate Authors: | WADT (Workshop) Sinaia, Romania) |
|---|---|
| Other Authors: | WADT (Workshop), Codescu, Mihai,, Diaconescu, Răzvan,, Țuțu, Ionuț,, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer,
2015.
|
| Physical Description: |
1 online resource (viii pages, 171 unnumbered pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
9463. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |