About the method of projecting abstract data type at the algebra of algorithmic
A method of development of extended abstract data type and algebraic class is proposed. This abstract data type is an essential component of the phases of specification and projecting. The problem of completeness of the extended abstract data type is studied and the decision of sufficient completene...
Збережено в:
Дата: | 2018 |
---|---|
Автори: | , |
Формат: | Стаття |
Мова: | rus |
Опубліковано: |
Інститут програмних систем НАН України
2018
|
Теми: | |
Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/34 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Problems in programming |