Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
Освещены современные исследования средств проектирования алгоритмов и программ. Известный тезис Вирта: "алгоритмы + структуры данных = программы" распространен на современные исследования по методологии и технологии программирования. При этом особое внимание уделено тем из них, которые соп...
Збережено в:
Дата: | 2007 |
---|---|
Автори: | Дорошенко, А.Е., Захария, Л.М., Цейтлин, Г.Е. |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут програмних систем НАН України
2007
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/284 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Алгебраическое проектирование программ: алгоритмы, объекты, инструменты / А.Е. Дорошенко, Л.М. Захария, Г.Е. Цейтлин // Пробл. програмув. — 2007. — N 2. — C. 5-14. — Библиогр.: 20 назв. — рус. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2008) -
Современные методы программирования. Возможности и инструменты
за авторством: Лаврищева, Е.М.
Опубліковано: (2006) -
О построении клонов алгебр функциональных n-отношенеий
за авторством: Захария, Л.М., та інші
Опубліковано: (2006) -
Алгебра связных графов и проектирование топологии компьютерных сетей
за авторством: Кривой, С.Л.
Опубліковано: (2006) -
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
за авторством: Львов, М.С.
Опубліковано: (2015)