Вы здесь
Owe O.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Specification Formalism for Interacting Objects | 1998 | Owe O. | Proc. of the Estonian Academy of Sciences. Physics, Mathematics | 05.11.1998 | |||
| СТ | Combining Graphical and Formal Development of Open Distributed Systems | 2002 | Johnsen E. B., Zhang W., Owe O., Aredo D. B. | Lecture Notes in Computer Science | 21.06.2002 | |||
| СТ | Object-Oriented Specification and Open Distributed Systems | 2004 | Johnsen E. B., Owe O. | Lecture Notes in Computer Science | 27.04.2004 | |||
| СТ | A Biography of Ole-Johan Dahl | 2004 | Owe O., Krogdahl S., Lyche T. | Lecture Notes in Computer Science | 27.04.2004 | |||
| СТ | A Bibliography of Ole-Johan Dahl | 2004 | Owe O., Krogdahl S., Lyche T. | Lecture Notes in Computer Science | 27.04.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Recent Trends in Data Type Specification: Selected Papers/ 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop. Oslo,Norway,September 1995 | 1996 | Lecture Notes in Computer Science |
|
11.10.1996 | |||
| СБ | From Object-Orientation to Formal Methods | 2004 | Lecture Notes in Computer Science |
|
Essays in Memory of Ole-Johan Dahl | 27.04.2004 | ||
| СБ | Fundamentals of Computation Theory: Proc./18th International Symposium, FCT 2011, Oslo, Norway, August 2011 | 2011 | Lecture Notes in Computer Science |
|
18.10.2011 |