Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Ehrig H.(ed.), Horst Herrlich H.(ed.), Kreowski H.J.(ed.) — Categorical Methods in Computer Science: With Aspects from Topology
Ehrig H.(ed.), Horst Herrlich H.(ed.), Kreowski H.J.(ed.) — Categorical Methods in Computer Science: With Aspects from Topology

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Categorical Methods in Computer Science: With Aspects from Topology

Авторы: Ehrig H.(ed.), Horst Herrlich H.(ed.), Kreowski H.J.(ed.)

Аннотация:

This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.


Язык: en

Рубрика: Computer science/

Статус предметного указателя: Нет и не будет

ed2k: ed2k stats

Издание: 1

Год издания: 1989

Количество страниц: 350

Добавлена в каталог: 06.02.2011

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте