Электронный каталог -Algebraic and Coalgebraic Methods in the Mathematics of Program Construction- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Доступно
1 из 1

Книга
Автор:
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000: Revised Lectures
Серия: Lecture Notes in Computer Science
Издательство: Springer, 2002 г.
ISBN 3-540-43613-8

Заказать

На полку

Книга
Ц840(04) А-35

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000: Revised Lectures / Ed.: R.Backhouse, Roy Crole, J.Gibbons. – Berlin [etc.] : Springer, 2002. – XIV, 385 p. : il. – (Lecture Notes in Computer Science, ISSN 0302-9743 ; 2297). – Bibliogr.: ends of chap. – ISBN 3-540-43613-8.

Ц840(04)
04

Индексный (книги) = Ц 840 - Программирование. Общие вопросы
Географический = Oxford,UK
Ключевых слов = program construction
Ключевых слов = algebra
Ключевых слов = coalgebras
Ключевых слов = galois connections
Ключевых слов = calculating functional programs
Ключевых слов = temporal algebra

Филиал	Фонд	Всего	Доступно для брони	Доступно для выдачи	Бронирование
ЗИЛ		1	1	1	Заказать

Филиал

Фонд

Всего

Доступно для брони

Доступно для выдачи

Бронирование

ЗИЛ

Заказать