Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

семантический

операционный

семантика

Стр.:

P.214-225.

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

Bibliogr.: p.225

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

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

Источник:

Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation

Карточка:

Б2.24.

Cridlig R..

Semantic Analysis of Shared-Memory Concurrent Languages using Abstract Model-Checking-New York.: ACM Press// Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation, 1995.-P.214-225.
Bibliogr.: p.225

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

ACM5 216