Вы здесь

  • Войдите, чтобы отправлять комментарии

Software Verification (2009). Lecture 1

Лекция Хит
Партнёр:
Предмет:
  • Computer Science
Лектор:
Наталья Шарыгина
Курс лекций:
Дата записи:
01.03.09
Дата публикации:
01.05.08
Код для блога:

Introduction to model checking: system modeling and logic specifications.

Другие лекции курса

1
Software Verification (2009). Lecture 2
Computer Science клуб при ПОМИ РАН
Наталья Шарыгина