The Temporal Logic of Actions

Вы здесь

Автор:

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

Вид:

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

Год:

1994

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

Стр.:

P.872-923.

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

Bibliogr.: p.921-923.

Источник:

Номер:

Том:

Карточка:

Б3.54, Б2.23.

Lamport L..

The Temporal Logic of Actions// ACM Trans. Programming Languages and Systems-1994, №3.-Vol. 16.-P.872-923.
Bibliogr.: p.921-923.

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

ACM4 175