|
Автоматика и телемеханика, 1974, выпуск 12, страницы 128–132
(Mi at8610)
|
|
|
|
Автоматы
ПРОЛОГ — автоматизированная система логического проектирования дискретных управляющих устройств
И. Э. Воклер, Е. И. Галактионова, Т. К. Квасова, О. П. Кузнецов, А. В. Марковский, А. Я. Макаревский, Л. Б. Шипилина Москва
Аннотация:
Описывается автоматизированная система логического проектирования дискретных автоматов, состоящая из алгоритмов и программ трансляции, проверки синтаксической и семантической корректности, стандартной реализации и комбинационного синтеза.
Поступила в редакцию: 04.02.1974
Образец цитирования:
И. Э. Воклер, Е. И. Галактионова, Т. К. Квасова, О. П. Кузнецов, А. В. Марковский, А. Я. Макаревский, Л. Б. Шипилина, “ПРОЛОГ — автоматизированная система логического проектирования дискретных управляющих устройств”, Автомат. и телемех., 1974, № 12, 128–132
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at8610 https://www.mathnet.ru/rus/at/y1974/i12/p128
|
Статистика просмотров: |
Страница аннотации: | 74 | PDF полного текста: | 30 |
|