Вы здесь

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

Лекция Хит
Предмет:
Курс лекций:
Дата записи:
01.03.09
Дата публикации:
22.05.10
Код для блога:

Introduction to model checking: system modeling and logic specifications.

Дополнительные материалы: 
Файл software_verification_sharygina_lecture01.pptx