... Дата и время публикации: 4 марта 2016 - 10:21 . ... Уважаемые участники Универсиады "Ломоносов" по Прикладной Математике и Информатике! Заключительный (очный) этап универсиады состоится 12 марта 2016 года, в 12:00 во 2-м корпусе гуманитарных факультетов (мкр. ... Для иногородних участников универсиады (постоянно проживающих далее 5-й зоны по Октябрьской ж/д) выделены несколько мест в общежитии, предоставляемых на ночь с 11 на 12 марта. ... Заявление участника (заполняется при регистрации) . ...
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... Институт стран Азии и Африки МГУ . О кафедре . ... ИСАА МГУ . ... Малый факультет . ... Публикации . Публикации о ЦИЕЦ . Публикации преподавателей . ... Заведующий кафедрой . Ковельман Аркадий Бенционович . ... Объявлен новый набор на Малый Факультет Иудаики! ... Малый Факультет . ... Начало занятий Малого факультета Иудаики 16 сентября в 12.00 по адресу Большая Никитская, 47/3 . ... Фонд Ави Хай, Фонд Чейза, Фонд Ха Надив, Сохнут, Джойнт, Российский Еврейский Конгресс ...