Вы здесь

Спецификация и верификация распределенных систем средствами языка Elementary_REAL

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
С.54-67.
Библиография: 
Библиогр.: c.66-67
Издательство: 
Номер: 
4
Карточка: 

Б2.22, Б3.51, Б3.54.

Непомнящий В. А., Шилов Н. В., Бодин Е. В..

Спецификация и верификация распределенных систем средствами языка Elementary_REAL: Springer// Программирование-1999, №4.-С.54-67.
Библиогр.: c.66-67

Таблица в старой библиотеке: 
PAP20 355