Вы здесь
Petre L.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Developing Control Systems Components | 2000 | Petre L., Sere K. | Lecture Notes in Computer Science | 30.11.2000 | |||
| СТ | Analysing UML Use Cases as Contracts | 1999 | Back R. -J., Petre L., Paltor I. P. | Lecture Notes in Computer Science | 05.11.1999 | |||
| СТ | Coordination Among Mobile Objects | 1999 | Petre L., Sere K. | Lecture Notes in Computer Science | 18.05.1999 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Integrated Formal Methods: Proc./10th International Conference, IFM 2013, Turku, Finland, June 2013 | 2013 | Lecture Notes in Computer Science |
|
26.08.2013 | |||
| СБ | Integrated Formal Methods: Proc./Third Intern. Conf., IFM 2002, Turku, Finland, May 2002 | 2002 | Lecture Notes in Computer Science |
|
21.06.2002 |