Archive
All-Union Conferences, Seminars, Symposiums, Schools
All-Union Conference
Abstracts
Abstract
Abstract
I.V. Vel'bitsky et. al. (Kiev) "An approach to program verification problem based on formalization of designing process in R-technology"

Original document language: Russian

Images of pages:
1 2 3


Back
Next document (Abstract)
Previous document (Abstract)

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016