Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Teodor Rus (ed.)
Bok Engelsk 2000 International Conference on Algebraic Methodology and Software Technology
Utgitt | Berlin : Springer , c2000
|
---|---|
Omfang | XI, 544 s. : ill.
|
Emner | |
Dewey | |
ISBN | 3540675302
|