Обзор по методам синтеза программ
Veroâtnostnye metody i kibernetika, Tome 24 (1990), pp. 16-42
Cet article a éte moissonné depuis la source European Digital Mathematics Library
@article{VMK_1990__24_69278,
author = {{\CYRV}.{\CYRO}. {\CYRG}{\cyre}{\cyro}{\cyrr}{\cyrg}{\cyri}{\cyre}{\cyrv}},
title = {{\CYRO}{\cyrb}{\cyrz}{\cyro}{\cyrr} {\cyrp}{\cyro} {\cyrm}{\cyre}{\cyrt}{\cyro}{\cyrd}{\cyra}{\cyrm} {\cyrs}{\cyri}{\cyrn}{\cyrt}{\cyre}{\cyrz}{\cyra} {\cyrp}{\cyrr}{\cyro}{\cyrg}{\cyrr}{\cyra}{\cyrm}{\cyrm}},
journal = {Vero\^atnostnye metody i kibernetika},
pages = {16--42},
year = {1990},
volume = {24},
zbl = {0850.68118},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VMK_1990__24_69278/}
}
В.О. Георгиев. Обзор по методам синтеза программ. Veroâtnostnye metody i kibernetika, Tome 24 (1990), pp. 16-42. http://geodesic.mathdoc.fr/item/VMK_1990__24_69278/