|
Журнал вычислительной математики и математической физики, 1986, том 26, номер 3, страницы 417–429
(Mi zvmmf4037)
|
|
|
|
Варианты семантики неточных данных и приближённого выполнения программ
С. А. Абрамов, Е. А. Казьмина, В. А. Кукляева Москва
Аннотация:
Показывается возможность использования семантик Дейкстры и Хоора для построения вариантов семантик приближенных вычислений.
Поступила в редакцию: 30.07.1984 Исправленный вариант: 26.11.1985
Образец цитирования:
С. А. Абрамов, Е. А. Казьмина, В. А. Кукляева, “Варианты семантики неточных данных и приближённого выполнения программ”, Ж. вычисл. матем. и матем. физ., 26:3 (1986), 417–429; U.S.S.R. Comput. Math. Math. Phys., 26:2 (1986), 60–67
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf4037 https://www.mathnet.ru/rus/zvmmf/v26/i3/p417
|
|