Вы здесь
Kapp K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Semantics and Transformations in Formal Synthesis at System Level | 2001 | Sabelfeld V., Blumenrohr C., Kapp K. | Lecture Notes in Computer Science | 06.02.2002 | |||
| СТ | Numeric Types in Formal Synthesis | 2003 | Sabelfeld V., Kapp K. | Lecture Notes in Computer Science | 18.02.2004 |