Вы здесь

Алгебра AFLP : исчисление переменных недетерминированных параллельных процессов

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
С.22-49.
Библиография: 
Библиогр.: c.48-49.
Место издания: 
Карточка: 

Б2.22, Б2.11.

Тарасюк И. В..

Алгебра AFLP : исчисление переменных недетерминированных параллельных процессов-Новосибирск.// Проблемы спецификации и верификации параллельных систем. Сборник научных трудов, 1995.-С.22-49.
Библиогр.: c.48-49.

Таблица в старой библиотеке: 
ISI2 37