Вы здесь
Hinkel U.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Towards a Formalization of the Unified Modeling Language | 1997 | Breu R., Hinkel U., Hofmann C., Klein C., Paech B., Rumpe B., Thurner V. | Lecture Notes in Computer Science | 09.07.1997 | |||
| СТ | Interpreter Verification for a Functional Language | 1994 | Broy M., Hinkel U., Nipkow T., Prehofer C., Schieder B. | Lecture Notes in Computer Science | 11.01.1995 |