Вы здесь
Sekerinski E.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Calculus for Predicative Programming | 1993 | Sekerinski E. | Lecture Notes in Computer Science | 29.04.1993 | |||
| СТ | Stepwise Refinement of Control Software - A Case Study Using RAISE | 1994 | Erasmy F., Sekerinski E. | Lecture Notes in Computer Science | 14.12.1994 | |||
| СТ | XX. Modula-3 | 1995 | Ruping A., Sekerinski E. | Lecture Notes in Computer Science | 25.03.1995 | |||
| СТ | XVI. RAISE | 1995 | Erasmy F., Sekerinski E. | Lecture Notes in Computer Science | 25.03.1995 | |||
| СТ | On Object-Oriented Design and Verification | 1995 | Lewerentz C., Lindner Th., Ruping A., Sekerinski E. | Lecture Notes in Computer Science | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | 28.12.1995 | ||
| СТ | Graphical Design of Reactive Systems | 1998 | Sekerinski E. | Lecture Notes in Computer Science | 17.06.1998 | |||
| СТ | Translating Statecharts to B | 2002 | Sekerinski E., Zurob R. | Lecture Notes in Computer Science | 21.06.2002 | |||
| СТ | Concurrent Object-Oriented Programs: From Specification to Code | 2003 | Sekerinski E. | Lecture Notes in Computer Science | 31.01.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | FM 2006: Formal Methods: Proc./14th International Symposium on Formal Methods. Hamilton, Canada, August 2006 | 2006 | Lecture Notes in Computer Science |
|
28.09.2006 | |||
| СБ | Integrated Formal Methods: Proc./11th International Conference, IFM 2014, Bertinoro, Italy, September 2014 | 2014 | Lecture Notes in Computer Science |
|
07.10.2014 | |||
| СБ | Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019 | 2020 | Lecture Notes in Computer Science |
|
21010 | 10.09.2020 | ||
| СБ | Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019 | 2020 | Lecture Notes in Computer Science |
|
21016 | 17.09.2020 |