РУсскоязычный Архив Электронных СТатей периодических изданий

Статьи автора: Грабовская С.М.

Результатов найдено: 5

Синтез надежных неветвящихся программ с условной остановкой в полном конечном базисе, содержащем x[1] & x[2]

Грабовская С.М.

Синтез надежных неветвящихся программ с условной остановкой в полном конечном базисе, содержащем x[1] & x[2]

Грабовская С.М.

О надежности неветвящихся программ в базисе, содержащем функцию вида x{a[1]} [1] v x{a[2]} [2]

Грабовская С.М.

О надежности неветвящихся программ с ненадежным оператором условной остановки в произвольном полном конечном базисе

Грабовская С.М.

Нижняя оценка ненадежности неветвящихся программ с оператором условной остановки

Грабовская С.М.,Алехина М.А.
1