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

Software Verification (2009). Lecture 1

Introduction to model checking: system modeling and logic specifications.

Лекции курса

2
  1. Software Verification (2009). Lecture 1▶ Вы тут
  2. Software Verification (2009). Lecture 2

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

3