Вы здесь
Muller P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Multiprocessor Kernel for Active Object-Based Systems | 2000 | Muller P. | Lecture Notes in Computer Science | 06.10.2000 | |||
| СТ | A Programming Logic for Sequential Java | 1999 | Poetzsch-Heffter A., Muller P. | Lecture Notes in Computer Science | 07.04.1999 | |||
| СТ | Formal Techniques for Java Programs | 1999 | Jacobs B., Leavens G. T., Muller P., Poetzsch-Heffter A. | Lecture Notes in Computer Science | 26.01.2000 | |||
| СТ | Formal Tecniques for Java Programs | 2000 | Drossopoulou S., Eisenbach S., Jacobs B., Leavens G., Muller P., Poetzsch-Heffter A. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 31.01.2001 | ||
| М | Modular Specification and Verification of Object-Oriented Programs | 2002 | Muller P. | Lecture Notes in Computer Science | 14.03.2002 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Advances Lectures on Software Engineering: LASER Summer School 2007/2008 | 2010 | Lecture Notes in Computer Science |
|
22.06.2010 | |||
| СБ | Programming Languages and Systems: Proc./29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020 | 2020 | Lecture Notes in Computer Science |
|
29.05.2020 | |||
| СБ | Verified Software: Theories, Tools, Experiments: Proc./4th International Conference, VSTTE 2012, Philadelphia,PF,USA, January 2012 | 2012 | Lecture Notes in Computer Science |
|
20.03.2012 |