789:-
Uppskattad leveranstid 10-15 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting.
- Format: Pocket/Paperback
- ISBN: 9783540431596
- Språk: Engelska
- Antal sidor: 348
- Utgivningsdatum: 2002-01-01
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K