Вы здесь

Hettler R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П AVL Trees Revisited: A Case Study in SPECTRUM 1994 Hettler R., Nazareth D., Regensburger F., Slotosch O. TUM 05.07.1995
СТ 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
П Die funktionale Essenz von HDMS-A 1993 Slotosch O., Nickl F., Merz S., Hussmann H., Hettler R. TUM 05.07.1995
П Spezifikation des UNIX Datei- und Variablensystems. Eine SPECTRUM-Fallstudie 1992 Hettler R. Lecture Notes in Computer Science TUM 08.12.1999
П 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
П Zur Ubersetzung von E/R-Schemata nach Spectrum 1993 Hettler R. Lecture Notes in Computer Science TUM 29.06.1995