О методе проектирования абстрактного типа данных в алгебре алгоритмики

dc.contributor.author	Дорошенко, А.Е.
dc.contributor.author	Иовчев, В.А.
dc.date.accessioned	2014-10-17T14:44:45Z
dc.date.available	2014-10-17T14:44:45Z
dc.date.issued	2012
dc.identifier.citation	n- исчисление – реалистичная формализация класса переписывающих систем / А.Е. Дорошенко, В.А. Иовчев // Пробл. програмув. — 2012. — № 1. — С. 3-16. — Бібліогр.: 29 назв. — рос.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/69614
dc.description.abstract	Предлагается метод проектирования расширенного абстрактного типа данных и алгебраического класса. Данный абстрактный тип данных является необходимым ключевым звеном между этапами спецификации и проектирования. Рассмотрена проблема полноты расширенного абстрактного типа данных и предложено решение в качестве достаточной полноты.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.subject	Теоретичні та методологічні основи програмування	uk_UA
dc.title	О методе проектирования абстрактного типа данных в алгебре алгоритмики	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	681.3