Диалоговая система логического моделирования цифровых устройствХаритонова, Ирина Александровна198152 с.