Вы здесь

Mueller P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ FormalTechniques for Java-Like Programs 2004 Eisenbach S., Leavens G. T., Mueller P., Poetzsch-Heffter A., Poll E. Lecture Notes in Computer Science Lecture Notes in Computer Science 21.09.2004
СТ Object Invariants in Dynamic Contexts 2004 Leino K.R. M., Mueller P. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.07.2004
СТ A Multiple-Platform Multi-Language Distributed Object-Oriented Messaging System 1994 Shan Y. -P., Debinder J., Denatale R., Krauss C., Mueller P. OOPS Messenger 14.06.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Algorithms and Architectures for Parallel Processing: Proc./16th International Conference, ICA3PP 2016, Granada, Spain, December 2016 2016 Lecture Notes in Computer Science
  1. Carretero J.
  2. Garcia-Blas J.
  3. Ko R.K. L.
  4. Mueller P.
24.01.2017