Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
| Main Author: | |
|---|---|
| Other Involved Persons: | ; |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin Heidelberg
:
Springer-Verlag GmbH
2005
|
| ISBN: | 9783540319597 354031959X 9783540253273 3540253270 |
| Series: | Lecture notes in computer science
3423 |
| Physical Description: | Online-Ressource v.: digital |
| DOI: | 10.1007/b107129 |
| Other Editions: | Show all 2 Editions |
| Further Information: | Lizenzpflichtig Zentralblatt MATH |
| QR Code: | Show QR Code |
