| Title | Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers |
|---|---|
| Author | Roswitha Bardohl, Martin Groβe-Rhode (auth.), Maura Cerioli, Gianna Reggio (eds.) |
| Year | 2001 |
| Edition | 1 |
| Volume | |
| Series | Lecture Notes in Computer Science 2267 |
| Publisher | Springer-Verlag Berlin Heidelberg |
| City | |
| Language | English |
Size: 3.86MB | Pages: 348 |
LLC: N/A | DDC:
