*Result*: Algebraic methodology and software technology
*Title*:
Algebraic methodology and software technology : 8th international conference ; proceedings / AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000. Teodor Rus (ed.)
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Springer, 2000
*Physical description scale*:
XI, 544 Seiten ; 24 cm
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 1816
*show_all_volumes*
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
3540675302