Вы здесь
Орловская Е. В.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
А | Исследование методов формальной спецификации программно-аппаратных систем, обеспечиваю их надежность систем и повторное использование спецификаций | 1992 | Орловская Е. В. | Univ. Kaiserslautern | 16.10.1992 | |||
СТ | Эквивалентность типов данных - ключ к повышению повторного использования программных разработок | 1991 | Орловская Е. В. | Программирование | 22.11.1991 |