Вы здесь

Kuzminov T. V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Structured Constructing as a Discipline of Safe Programming and Instruments Supporting It 1993 Aniskov M. I., Boltayev T. B., Kochetov D. V., Kuzminov T. V., Pottosin I. V. CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics 02.09.1993
СТ Some Features of Compiler Front-End in a Software Development Cross-System 1993 Kuzminov T. V. CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics 03.09.1993
СТ SOKRAT: An Environment for Safe and Efficient Programming 1993 Kasyanov V. N., Kuzminov T. V., Pokrovsky S. B., Pottosin I. V., Sabelfeld V. K., Shelekhov V. I., Stepanov G. G., Zakharov L. I. CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics 03.09.1993