Вы здесь

Верификация асинхронных параллельных систем на основе L-программ

Количество экземпляров: 
1
Вид: 
Автореферат
Год: 
1995
Стр.: 
25 с.
Библиография: 
Библиогр.: c.24-25.
Место защиты: 
Издательство: 
Номер специальности: 
05.13.11, 05.13.16
Том: 
1019
Карточка: 

Б2.23, Б3.54, Б2.42.

Панков С. В..

Верификация асинхронных параллельных систем на основе L-программ: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11, 05.13.16.-Ростов-На-Дону: Springer, 1995.-Vol. 1019.-25 с.
Библиогр.: c.24-25.

Таблица в старой библиотеке: 
DAR1MP 197