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
|