Software Verification (2010). Лекция 1
Лекция ХитПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.03.09
Дата публикации:
22.05.10
Код для блога:
Introduction to model checking: system modeling and logic specifications.
Дополнительные материалы:
![application/vnd.openxmlformats-officedocument.presentationml.presentation Файл](/modules/file/icons/x-office-presentation.png)