Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
Bok Engelsk 2005 WADT 2004
Utgitt | Berlin : Springer , c2005
|
---|---|
Omfang | VIII, 269 s. : ill.
|
Emner | |
ISBN | 3540253270
|