Архів


ВипускиРубрикиАвториКлючові слова

Стаття

Випуск:2009 №1 (82)
Рубрика:АВТОМАТИЗАЦІЯ ВИРОБНИЧИХ ПРОЦЕСІВ
УДК:621-52
Мова статті:Російська
Сторінки:115-123
Заголовок:ФОРМАЛЬНЫЕ МЕТОДЫ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ СИСТЕМ ДИСКРЕТНОГО УПРАВЛЕНИЯ
Автори:Ткачев В. В., С Н., Проценко, Козарь Н. В.
Файл статті:82_115-123.pdf