Вы здесь

Главная

Towards an Epistemic Approach to Reasoning about Concurrent Programs

Автор: 
Van Der Hoek W.
Van Hulst M.
Meyer J.-J. Ch.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Ключевые слова: 
логика
знание
семантика
параллелизм
верификация
распределенный
программа
Стр.: 
P.261-287.
Библиография: 
Bibliogr.: p.285-287
Место издания: 
Berlin Et Al.
Издательство: 
Springer
Источник: 
Lecture Notes in Computer Science
Том: 
666
Карточка: 

Б2.23, Б2.24, Б2.14.

Van Der Hoek W., Van Hulst M., Meyer J.-J. Ch..

Towards an Epistemic Approach to Reasoning about Concurrent Programs-Berlin Et Al..: Springer// Lecture Notes in Computer Science, 1993.-Vol. 666.-P.261-287.
Bibliogr.: p.285-287

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