Вы здесь

Regensburger F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. Version 1.0. Part II 1993 Broy M., Facchi C., Grosu R., Hettler R., Hussman H., Nazareth D., Regensburger F., Slotosch O., Stolen K. Lecture Notes in Computer Science TUM 08.12.1999
СТ AVL Trees Revisited: A Case Study in Spectrum 1995 Hettler R., Nazareth D., Regensburger F., Slotosch O. Lecture Notes in Computer Science KORSO: Methods, Languages, and Tools for the Construction of Correct Software 28.12.1995
П AVL Trees Revisited: A Case Study in SPECTRUM 1994 Hettler R., Nazareth D., Regensburger F., Slotosch O. TUM 05.07.1995
СТ The Semantics of SPECTRUM 1994 Grosu R., Regensburger F. Lecture Notes in Computer Science 24.08.1994