TY - BOOK AU - BREU,Ruth TI - Algebraic specification techniques in object oriented programming environments T2 - Lecture Notes in Computer Science SN - 0387549722 PY - 1991/// CY - Berlin ; , Heidelberg ; , New York PB - Springer, KW - DE-Calculatoare și tehnologia informației KW - lucrare de specialitate N1 - Bibliogr. AV - III 13476 ER -