Вы здесь

Главная

A Temporal Logic of Actions

Автор: 
Lamport L.
Количество экземпляров: 
1
Колл. автор: 
Digital
Вид: 
Препринт
Год: 
1990
Ключевые слова: 
темпоральный
логика
параллельный
программа
Стр.: 
24 p.
Место издания: 
Palo Alto
Номер: 
57
Карточка: 

Б2.13.

Lamport L..

A Temporal Logic of Actions-Palo Alto., 1990.-24 p.-(Препринт Digital №57).

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