Вы здесь
Bowman M.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Reasoning About Naming Systems | 1993 | Bowman M., Debray S. K., Peterson L. L. | ACM Trans. Programming Languages and Systems | 15.02.1994 |