Автоматизация разработки и моделирование вычислительных и микропроцессорных систем : Материалы семинара1983147 с.