Вы здесь

Stephan W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formal Requirements Engineering Using Observer Models 2002 Nonnengart A., Rock G., Stephan W. Lecture Notes in Computer Science 15.05.2002
СТ A Calculus for Higher Order Procedures with Global Variables 1993 Stephan W., Wolpers A. Lecture Notes in Computer Science 21.10.1993
СТ The KIV System - A Tool for Formal Program Development 1993 Drexler R., Reif W., Schellhorn G., Stenzel K., Stephan W., Wolpers A. Lecture Notes in Computer Science 06.04.1993