Вы здесь

Dunin-Keplicz B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Architecture with Multiple Meta-Levels for the Development of Correct Programs 1994 Dunin-Keplicz B. Lecture Notes in Computer Science 12.01.1995
СТ Compositional Formal Specification of Multi-Agent Systems 1995 Dunin-Keplicz B., Treur J. Lecture Notes in Artificial Intelligence 30.03.1995