Вы здесь
Walker D. J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Automated Analysis of Mutual Exclusion Algorithms using CCS | 1989 | Walker D. J. | Univ.Edinburgh | 20.06.1995 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Automated Analysis of Mutual Exclusion Algorithms using CCS | 1989 | Walker D. J. | Univ.Edinburgh | 20.06.1995 |