Вы здесь
Bevier W.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An Approach to Systems Verification | 1989 | Bevier W., Hunt W., Moore J., Young W. | J. Automated Reasoning | 22.05.1991 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An Approach to Systems Verification | 1989 | Bevier W., Hunt W., Moore J., Young W. | J. Automated Reasoning | 22.05.1991 |