Повернутися до подробиць статті МОДЕЛІ МАТЕМАТИЧНИХ БЛОКІВ ДИСКРЕТНОГО ПЕРЕТВОРЕННЯ ІНФОРМАЦІЇ ДЛЯ ВЕРИФІКАЦІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ПРОГРАМОВАНИХ ЛОГІЧНИХ КОНТРОЛЕРІВ Завантажити Завантажити PDF