RUS  ENG
Полная версия
ЖУРНАЛЫ // Журнал вычислительной математики и математической физики // Архив
Ж. вычисл. матем. и матем. физ., 1984, том 24, номер 4, страницы 566–578 (Mi zvmmf4412)
О вычислении предусловий программ

С. А. Абрамов


Аннотация: Разбираются различные методы определения предусловий программ в множестве частичных функций с произвольной областью значений или в множестве бинарных отношений.

УДК: 519.681

MSC: 68Q60

Поступила в редакцию: 05.07.1982
Исправленный вариант: 24.05.1983


 Англоязычная версия: USSR Computational Mathematics and Mathematical Physics, 1984, 24:2, 149–157

Реферативные базы данных:

© МИАН, 2024