Voir la notice de l'article provenant de la source Math-Net.Ru
@article{ITVS_2014_2_a9, author = {V. V. Bankrutenko and P. J. Belokrylov and E. J. Poverennov}, title = {Effectiveness's enhancement of construction end-to-end design system by sequential integration of verified calculating software}, journal = {Informacionnye tehnologii i vy\v{c}islitelnye sistemy}, pages = {89--95}, publisher = {mathdoc}, number = {2}, year = {2014}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/ITVS_2014_2_a9/} }
TY - JOUR AU - V. V. Bankrutenko AU - P. J. Belokrylov AU - E. J. Poverennov TI - Effectiveness's enhancement of construction end-to-end design system by sequential integration of verified calculating software JO - Informacionnye tehnologii i vyčislitelnye sistemy PY - 2014 SP - 89 EP - 95 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ITVS_2014_2_a9/ LA - ru ID - ITVS_2014_2_a9 ER -
%0 Journal Article %A V. V. Bankrutenko %A P. J. Belokrylov %A E. J. Poverennov %T Effectiveness's enhancement of construction end-to-end design system by sequential integration of verified calculating software %J Informacionnye tehnologii i vyčislitelnye sistemy %D 2014 %P 89-95 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/ITVS_2014_2_a9/ %G ru %F ITVS_2014_2_a9
V. V. Bankrutenko; P. J. Belokrylov; E. J. Poverennov. Effectiveness's enhancement of construction end-to-end design system by sequential integration of verified calculating software. Informacionnye tehnologii i vyčislitelnye sistemy, no. 2 (2014), pp. 89-95. http://geodesic.mathdoc.fr/item/ITVS_2014_2_a9/