Вы здесь

Mechanical Verification of Distributed Algorithms in Higher-Order Logic

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.158-176.
Библиография: 
Bibliogr.: p.175-176.
Издательство: 
Том: 
859
Карточка: 

Б2.1, Б2.23, В2.11.

Chou C. -T..

Mechanical Verification of Distributed Algorithms in Higher-Order Logic: Springer// Lecture Notes in Computer Science-1994.-Vol. 859.-P.158-176.
Bibliogr.: p.175-176.

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