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

Bibliotek som har denne