Вы здесь

Structuring Reactive Systems in B AMN

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

А3.45, Б3.5.

Lano K., Androusopoulos K., Kan P..

Structuring Reactive Systems in B AMN-Los Alamitos, Washington.: IEEE Computer Society// Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000, 2000.-P.25-33
Bibliogr.: p.33

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