|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Языки описания схем. Проблемы верификациистатья
- Авторы: Корухова Ю.С., Захаров В.А.
- Сборник: Программы специальных курсов факультета ВМК МГУ / Ред. Березин Б.И,, Ломов И.С. Сост. Кобелева А.Н
- Год издания: 2010
- Место издания: МАКС Пресс Москва МГУ
- Первая страница: 188
- Последняя страница: 190
- Добавил в систему: Корухова Юлия Станиславовна