ЛекториумМедиатека
Личный кабинет

Software Verification (2010). Лекция 3

SAT-based software model checking.

Лекции курса

3
  1. Software Verification (2010). Лекция 1
  2. Software Verification (2010). Лекция 2
  3. Software Verification (2010). Лекция 3▶ Вы тут

Онлайн-курсы по программированию

3