Вы здесь

О верификации асинхронных программ продукционного типа

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
С.40-52.
Библиография: 
Библиогр.: c.51-52.
Номер: 
5
Карточка: 

Б2.23.

Крицкий С. П., Панков С. В..

О верификации асинхронных программ продукционного типа// Программирование-1994, №5.-С.40-52.
Библиогр.: c.51-52.

Таблица в старой библиотеке: 
PAP10 406