Летичевский, А.А. (мл.); Мороховец, М.К.; Песчаненко, В.С.
(Управляющие системы и машины, 2012)
Описаны методы доказательства правильности программ в системе инсерционного моделирования, ее архитектура и функциональные возможности, даны основные сведения о нем. Рассмотрена инсерционная машина метода Флойда, методы ...