Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программ2. Model Checking. Вериф. парал. и распределенных программных систем. Карпов (2010).djvu2. Model Checking. Вериф. парал. и распределенных программных систем. Карпов (2010).djvu
2020-08-252020-08-25СтудИзба
Книга: 2. Model Checking. Вериф. парал. и распределенных программных систем. Карпов (2010).djvu
Описание
Описание файла отсутствует
Характеристики книги
Тип
Учебное заведение
Просмотров
23
Скачиваний
1
Размер
11,89 Mb