Вы здесь

Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2002
Стр.: 
P.262-274
Библиография: 
Bibliogr.: p.273-274
Издательство: 
Номер: 
2495
Карточка: 

Б3.1, Б2.15.

Liu Y., Xu B., Chen Z..

Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra: Springer// Lecture Notes in Computer Science-2002, №2495.-P.262-274
Bibliogr.: p.273-274

Таблица в старой библиотеке: 
PAP25 905