Вы здесь
Pavlovic D.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Colimits for Concurrent Collectors | 2003 | Pavlovic D., Pepper P., Smith D. | Lecture Notes in Computer Science | 26.03.2004 | |||
СТ | Software Development by Refinement | 2003 | Pavlovic D., Smith D. R. | Lecture Notes in Computer Science | 25.12.2003 | |||
СТ | Towards Semantics of Self-Adaptive Software | 2001 | Pavlovic D. | Lecture Notes in Computer Science | 04.04.2001 | |||
СТ | Semantics of First Order Parametric Specifications | 1999 | Pavlovic D. | Lecture Notes in Computer Science | 30.10.1999 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Algebraic Methodology and Software Technology: Revised Selected Papers/13th International Conference, AMAST 2010, Lac-Beauport,QC,Canada, June 2010 | 2011 | Lecture Notes in Computer Science |
|
29.03.2011 |