Вы здесь

Спецификация и верификация систем логического управления реального времени

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
С.111-147.
Выпуск: 
2
Библиография: 
Библиогр.: c.146-147.
Место издания: 
Издательство: 
Карточка: 

Б3.44.

Борщев А. В., Карпов Ю. Г., Колесов Ю. Б..

Спецификация и верификация систем логического управления реального времени-Новосибирск.: Наука// Системы программирования. Теория и приложения, 1993.-С.111-147.
Библиогр.: c.146-147.

Таблица в старой библиотеке: 
PAP6 685