О современных методах автоматической формальной верификации аппаратного обеспечения. Лекция 3
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Арист Кожевников Курс лекций: О современных методах автоматической формальной верификации...





















