Proving Concurrent Constraint Programs Correct | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

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

программа

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

Стр.:

P.98-108.

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

Bibliogr.: p.107-108

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

Издательство:

Источник:

Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages

Карточка:

Б2.23.

de Boer F. S., Gabrielli M., Marchiori E., Palamidessi C..

Proving Concurrent Constraint Programs Correct-New York.: ACM Press// Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, 1994.-P.98-108.
Bibliogr.: p.107-108

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

ACM5 293