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

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

Introduction to model checking: system modeling and logic specifications.

Лекции курса

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

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

3