Compositional refinements in multiple blackboard systems | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1995

Ключевые слова:

моделирование

программный

логическое программирование

верификация

параллельный

корректность

Стр.:

P.415-458

Библиография:

Bibliogr.: p.454-455

Источник:

Acta Informatica

Номер:

5

Том:

32

Карточка:

Б3.55, Б2.23.

Chen X. J., Montangero C..

Compositional refinements in multiple blackboard systems// Acta Informatica-1995, №5.-Vol. 32.-P.415-458
Bibliogr.: p.454-455

Таблица в старой библиотеке:

PAP12 589