Cooperating-Proofs for Distributed Programs with Multy-Party Interactions | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1989

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

распределенный

программа

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

Стр.:

P.229-242

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

Bibliogr.: p.240-242

Место издания:

Источник:

J.W. de Bakker, 25 Jaar Semantiek

Карточка:

Б2.23.

Francez N..

Cooperating-Proofs for Distributed Programs with Multy-Party Interactions-Amsterdam.// J.W. de Bakker, 25 Jaar Semantiek, 1989.-P.229-242
Bibliogr.: p.240-242

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

PAP30 423