Вы здесь
Westmeier S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | HOL-Z in the UniForM-Workbench - A Case Study in Tool Integration for Z | 1998 | Luth C., Karlsen E. W., Kolyang., Westmeier S., Wolff B. | Lecture Notes in Computer Science | 08.12.1998 | |||
| СТ | Using Concurrent Haskell to Develop Views over an Active Repository | 1998 | Karlsen E. W., Westmeier S. | Lecture Notes in Computer Science | 09.10.1998 |