Вы здесь
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