Вы здесь
Weide B. W.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Data Abstraction Alternative to Data Structure/Algorithm Modularization | 2000 | Sitaraman M., Weide B. W., Long T. J., Ogden W. F. | Lecture Notes in Computer Science | 10.12.2000 | |||
| СТ | On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations | 1997 | Sitaraman M., Weide B. W., Ogden W. F. | IEEE Trans. on Software Engineering | 12.07.1997 |