Языки описания схем. Проблемы верификациистатья

Работа с статьей


[1] Корухова Ю. С., Захаров В. А. Языки описания схем. Проблемы верификации // Программы специальных курсов факультета ВМК МГУ / Ред. Березин Б.И,, Ломов И.С. Сост. Кобелева А.Н. — МАКС Пресс Москва МГУ, 2010. — С. 188–190.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть