Pr869 Pr869/389 Pr869/389 / Pr869/389-02 Category theory and computer science : manchester, UK, Sept. 5-8, 1989. Proc. / Ed. by D.H. Pitt a. o. - Berlin [et al.] : Springer, 1989. - VI,365 p. : Ill. - (Lecture notes in computer science ; 389). - Bibliogr. at the end of the art Перевод заглавия: Теория категорий и вычислительная наука Рубрики: Программное обеспечение--ЭВМ Категории--Алгебра Кл.слова (ненормированные): логика программ -- языки программирования -- теория категорий Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/393 Pr869/393 / Pr869/393-02 Categorical methods in computer science with aspects from topology : сборник / Ed. by H. Ehrig a. o. - Berlin [et al.] : Springer, 1989. - VI,350 p. - (Lecture notes in computer science ; 393) Bibliogr. at the end of th art Перевод заглавия: Категорические методы в вычислительной науке с аспектами топологии Рубрики: Программное обеспечение--ЭВМ Топология Кл.слова (ненормированные): Теория категорий -- математическое обеспечение ЭВМ -- топология Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |