Вы здесь
Hannemann U.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach | 1999 | de Boer F. S., Hannemann U., De Roever W. -P. | Lecture Notes in Computer Science | 26.10.1999 | |||
| СТ | Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems | 1995 | Zwiers J., Hannemann U., Lakhneche Y., De Roever W. -P. | Lecture Notes in Computer Science | 30.01.1996 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever | 2010 | Lecture Notes in Computer Science |
|
12.05.2010 |