Вы здесь
Strecker M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Construction and Deduction Methods for the Formal Development of Software | 1995 | Von Henke F. W., Dold A., Ruess H., Schwier D., Strecker M. | Lecture Notes in Computer Science | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | 28.12.1995 |