Вы здесь

Mechanical Verification of Transaction Processing Systems

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

Б5.33.

Chkliaev D., Hooman J., Van Der Stok P..

Mechanical Verification of Transaction Processing Systems-Los Alamitos, Washington.: IEEE Computer Society// Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000, 2000.-P.89-97
Bibliogr.: p.97

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