Значок книги

Logical foundations of functional programming ed. by Gérard Huet

Сохранить в:

Библиографические подробности
Тип документа:	Книга
Язык:	English
Год издания:	Reading, Massachusetts Addison-Wesley Publ. Co. 1990
Предметная рубрика:	ЛОГИЧЕСКИЕ ОСНОВЫ
Ключевые слова:	Функциональное программирование

Схожие документы

Functional programming
Автор: MacLennan B. J.
Год издания: (1990)

Research topics in functional programming
Год издания: (1990)

Функциональное программирование
Автор: Валиев М. К.
Год издания: (1989)

Programming parallel processors
Год издания: (1988)

Advanced programming
Автор: Miller L. H.
Год издания: (1986)

Formal development of programs and proofs
Год издания: (1990)

Дифференциальные уравнения и функциональные пространства
Год издания: (1990)

Функциональное состояние главных пищеварительных желез при железодефицитных анемиях
Автор: Николаева П. М.
Год издания: (1971)

Избранные вопросы теории функциональных пространств и обобщенных функций
Автор: Соболев С. Л.
Год издания: (1989)

Операторные алгебры и функциональные пространства
Год издания: (1988)

Logical Grammar
Автор: Короткина И.
Год издания: (2005)

Enhanced MS-DOS batch file programming
Автор: Gookin D.
Год издания: (1991)

Foundations of Expression
Автор: Curry S. S.
Год издания: (1930)

Foundations of linguistics
Автор: Wunderlich D.
Год издания: (1979)

Second foundation
Автор: Asimov I.
Год издания: (1979)

Foundations of language
Автор: Gray L. H.
Год издания: (1939)

Logic of Nondeterministic Information
Автор: Orłowska E.
Год издания: (1984)

The logic of investment planning
Автор: Chakravarty S.
Год издания: (1959)

Directory of European foundations
Год издания: (1969)

The Minerva Program
Автор: Mackay C.
Год издания: (1990)

Programmed English
Автор: Ильина Т. А.
Год издания: (1967)

Programmed English
Автор: Ильина Т. А.
Год издания: (1967)

Programming languages
Автор: Tucker A. B.
Год издания: (1986)

Functional grammar in the ESL classroom
Автор: Jones R. H.
Год издания: (2011)

Foundations and frontiers of music education
Автор: Kaplan M.
Год издания: (1966)

Microsoft Excel worksheet function reference
Год издания: (1995)

Изучение интеллектуального микроконтроллера Zelio Logic
Год издания: (2017)

Programed college vocabulary 3600
Автор: Feinstein G. W.
Год издания: (1979)

Case problems for use with foundations of financial management
Автор: Block S. B.
Год издания: (1989)

Programmed learning aid for personal finance
Автор: Cohen J. B.
Год издания: (1981)

Практикум по программированию
Автор: Барашев А. Ф.
Год издания: (1973)

Программирование на алгоритмическом языке Бейсик для диалогового вычислительного комплекса "Электроника НМС-02"
Автор: Богатюк В. А.
Год издания: (1987)

Выполнение лабораторных работ и практических заданий по курсу "Программирование"
Год издания: (2012)

Лабораторные работы по основам алгоритмизации и программирования
Год издания: (2012)

Выполнение лабораторных работ и практических заданий по курсу "Программирование"
Год издания: (2013)

Основы современного программирования
Автор: Зыков С. В.
Год издания: (2006)

Lotus 1-2-3 for Windows
Автор: Эйткен П.
Год издания: (1996)

Азбука программирования
Автор: Горстко А. Б.
Год издания: (1988)

Наука программирования
Автор: Грис Д.
Год издания: (1984)

Задачник по программированию
Автор: Юркин А. Г.
Год издания: (2002)