Software Verification (2009) Курс Партнёр:Computer Science клуб при ПОМИ РАН Предмет:Computer Science Лектор:Наталья Шарыгина Лекции курса2 Software Verification (2009). Lecture 1 Computer Science клуб при ПОМИ РАН Наталья Шарыгина Хит 10902 Software Verification (2009). Lecture 2 Computer Science клуб при ПОМИ РАН Наталья Шарыгина 1638
