Вы здесь
Hannay J. E.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Specification Refinement with System F - The Higher-Order Case | 2000 | Hannay J. E. | Lecture Notes in Computer Science | 13.10.2000 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Specification Refinement with System F - The Higher-Order Case | 2000 | Hannay J. E. | Lecture Notes in Computer Science | 13.10.2000 |