Вы здесь

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