Вы здесь

Weide B. W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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