Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Didier Bert, Christine Choppy, Peter Mosses (eds.)
Bok Engelsk 2000 WADT'99
Utgitt | Berlin : Springer , c2000
|
---|---|
Omfang | X, 476 s. : ill.
|
Emner | |
Dewey | |
ISBN | 3540678980
|