Дорошенко, А.Е.; Акуловский, В.Г.
(Управляющие системы и машины, 2012)
Алгебра алгоритмов с данными дополнена средствами описания операций ввода-вывода в результате модификации абстрактной модели ЭВМ Глушкова. Возможность описания операций ввода-вывода актуальна для широкого класса систем, ...