Вы здесь
Uhrig S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An algorithm for testing sufficient completeness of a simple class of conditional specifications | 1990 | Remy J., Uhrig S. | Informatics 89 | 14.02.1991 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Architecture of Computing Systems - ARCS 2019: Proc./32nd International Conference, Copenhagen, Denmark, May 2019 | 2019 | Lecture Notes in Computer Science |
|
04.06.2019 |