Вы здесь

CCSP - формальная система для отладки распределенных программ

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

Б3.54, Б2.23.

Эрроусмит Б., Макмиллан Б..

CCSP - формальная система для отладки распределенных программ// Программирование-1995, №1.-С.63-70.
Библиогр.: c.69-70.

Таблица в старой библиотеке: 
PAP11 389