Вы здесь
An Axiomatization of Lamport s Temporal Logic of Actions
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1991
Ключевые слова:
Стр.:
18 p.
Место издания:
Номер:
65
Карточка:
Б2.13.
Abadi M..
An Axiomatization of Lamport s Temporal Logic of Actions-Teddington., 1991.-18 p.-(Препринт Digital №65).
Таблица в старой библиотеке:
PREP1 237