Вы здесь

Muller P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ A Multiprocessor Kernel for Active Object-Based Systems 2000 Muller P. Lecture Notes in Computer Science 06.10.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