Вы здесь
Hunt 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 |