Temporal and Modal Logic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

темпоральный

модальный

Стр.:

P.995-1072.

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

Bibliogr.: p.1067-1072

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

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

Источник:

Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B

Карточка:

Б2.13.

Emerson E. A..

Temporal and Modal Logic-Cambridge.: The MIT Press// Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B, 1994.-P.995-1072.
Bibliogr.: p.1067-1072

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

PAP17 360