Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Селяков Е.Б.
Моделирование требованиц к техническим системам методами математической логики

Вид документа:  Складова частина документа 
Мова:  Російська  Обсяг:  С. 12-17 
УДК:  004.414 

Є складовою частиною документа Автоматика. Автоматизация. Электротехнические комплексы и системы [Текст] : науч.-техн. журн. № 2 / учредитель : Херсон. гос. техн. ун-т, М-во образован. и науки Украины, НАНУ и др. — Херсон : Ред. журн. ААЭКС, 2009.

Теми документа

• УДК/0 Загальний вiддiл./00 Загальнi питання науки i культури/004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/004.4 Програмне забезпечення/004.41 Техніка програмування