Вы здесь

Verification-Friendly Specification of Distributed Systems

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.480-483
Библиография: 
Bibliogr.: p.483
Место издания: 
Карточка: 

Б2.43, Б2.24, Б3.5.

Kellomaki P..

Verification-Friendly Specification of Distributed Systems-Beijing.// 16th World Computer Congress 2000, 2000.-P.480-483
Bibliogr.: p.483

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