000 00371nam a2200157 4500
082 _a004 RUS-A
100 _aRus, Teodor,
_eEditor
245 _aAlgebraic methodology and software technology
_cTeodor Rus
250 _a
260 _aSpringer-Verlag, Berlin
_c2000
300 _a
490 _a
650 _aComputer science
700 _a
_eEditor
942 _cBK
999 _c446251
_d446251