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