Вы здесь

Буда А. О.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Анализ потока данных и эквивалентность программных машин 1982 Сабельфельд В. К., Буда А. О. ВЦ СО АН СССР Математическая теория и практика систем программного обеспечения 25.01.1994
М Руководство к пользованию системой автоматизации программирования АЛЬФА-6 1974 Буда А. О., Васючкова Т. С., Грановский А. А., Козловский С. Э., Шелехов В. И.
  1. Ершов А. П.
ВЦ СО АН СССР 17.12.1991
М Транслятор АЛЬФА-6 в системе Дубна 1979 Аникеева И. Н., Буда А. О., Васючкова Т. С., Кожухина С. К., Козловский С. Э., Шелехов В. И. Библиотечка программиста
  1. Ершов А. П.
13.11.1979
П Абстрактные машины программ 1978 Буда А. О. ВЦ СО АН СССР 22128 18.10.1978
А Отношения эквивалентности на классах схем программ 1975 Буда А. О. 02.10.1975