Вы здесь
Ravara A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Behavioural Types for a Calculus of Concurrent Objects | 1997 | Ravara A., Vasconcelos V. | Lecture Notes in Computer Science | 24.10.1997 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Web Services, Formal Methods, and Behavioral Types: Proc./11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 2014 and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 2015 | 2016 | Lecture Notes in Computer Science |
|
08.06.2016 |