Акуловский, В.Г.; Дорошенко, А.Е.; Яценко, Е.А.
(Проблеми програмування, 2015)
Предложено развитие алгеброалгоритмического инструментария проектирования и синтеза программ для конструирования спецификаций алгоритмов, сочетающих совместное описание данных и потоков управления в алгебре алгоритмов с ...