Вы здесь
Zakharov L. I.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | 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 |