Вы здесь
Schieder B.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Adapting Calculational Logic to the Undefined | 1999 | Schieder B., Broy M. | The Computer Journal | 20.08.1999 | |||
| СТ | 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 |