Вы здесь
Duke D.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Deriving Modular Designs from Formal Specifications | 1993 | Carrington D., Duke D., Hayes I., Welsh J. | Software Engineering Notes | 12.04.1994 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Semantic Multimedia: Proc./Third International Conference on Semantic and Digital Media Technologies, SAMT 2008. Koblenz, Germany, December 2008 | 2008 | Lecture Notes in Computer Science |
|
14.04.2009 |