Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)
Bok Engelsk 2003 WADT 2002
| Utgitt | Berlin : Springer , c2003
|
|---|---|
| Omfang | VIII, 456 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540205373
|
