Условия сглаживаемости операторных формальных моделей программ | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Захаров В. А.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1994

Ключевые слова:

формальный

операторный

программа

эквивалентность

преобразование

Стр.:

С.23-38.

Библиография:

Библиогр.: c.38.

Источник:

Программирование

Номер:

5

Карточка:

В2.23.

Захаров В. А..

Условия сглаживаемости операторных формальных моделей программ// Программирование-1994, №5.-С.23-38.
Библиогр.: c.38.

Таблица в старой библиотеке:

PAP10 405