Вид документа : Однотомное издание Шифр издания : Автор(ы) : Bergstra J.A, Tucker J.V Заглавие : Algebraic specifications of computable and semicomputable datatypes Выходные данные : Amsterdam, 1986 Колич.характеристики :60 с Серия: Rep./Centrum voor wiskunde en informatica. Computer science/Dep. of software technology; CS-R 8619 Примечания : ; Библиогр.: с.57-60 Цена : Б.ц. УДК : Доп.точки доступа: Tucker, J.V