Обзор по методам синтеза программ
Veroâtnostnye metody i kibernetika, Tome 24 (1990), pp. 16-42.

Voir la notice de l'article provenant de 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},
     publisher = {mathdoc},
     volume = {24},
     year = {1990},
     zbl = {0850.68118},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMK_1990__24_69278/}
}
TY  - JOUR
AU  - В.О. Георгиев
TI  - Обзор по методам синтеза программ
JO  - Veroâtnostnye metody i kibernetika
PY  - 1990
SP  - 16
EP  - 42
VL  - 24
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMK_1990__24_69278/
LA  - ru
ID  - VMK_1990__24_69278
ER  - 
%0 Journal Article
%A В.О. Георгиев
%T Обзор по методам синтеза программ
%J Veroâtnostnye metody i kibernetika
%D 1990
%P 16-42
%V 24
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMK_1990__24_69278/
%G ru
%F VMK_1990__24_69278
В.О. Георгиев. Обзор по методам синтеза программ. Veroâtnostnye metody i kibernetika, Tome 24 (1990), pp. 16-42. http://geodesic.mathdoc.fr/item/VMK_1990__24_69278/