Вы здесь
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 |