Вы здесь
Moore J.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Developing Consensus on the Software Engineering Body of Knowledge | 2000 | Bourque P., Dupuis R., Abran A., Moore J., Tripp L. | 16th World Computer Congress 2000 | 06.03.2001 | |||
СТ | Standardizing Reuse | 1997 | Rada R., Moore J. | Communications of the ACM | 10.04.1997 | |||
СТ | An Approach to Systems Verification | 1989 | Bevier W., Hunt W., Moore J., Young W. | J. Automated Reasoning | 22.05.1991 |