Вы здесь

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
  1. Schoeberl M.
  2. Hochberger Ch.
  3. Uhrig S.
  4. Brehm J.
04.06.2019