Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программ5. Principles of Model Checking. Baier_ Joost (2008).pdf5. Principles of Model Checking. Baier_ Joost (2008).pdf
2020-08-252020-08-25СтудИзба
Книга: 5. Principles of Model Checking. Baier_ Joost (2008).pdf
Описание
Описание файла отсутствует
Характеристики книги
Тип
Учебное заведение
Просмотров
29
Скачиваний
0
Размер
4,64 Mb