Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программ3. Verification of sequential and concurrent programs. Apt_ Olderog (3rd edition) (2010).pdf3. Verification of sequential and concurrent programs. Apt_ Olderog (3rd edition) (2010).pdf
2020-08-252020-08-25СтудИзба
Книга: 3. Verification of sequential and concurrent programs. Apt_ Olderog (3rd edition) (2010).pdf
Описание
Описание файла отсутствует
Характеристики книги
Тип
Учебное заведение
Просмотров
25
Скачиваний
0
Размер
2,22 Mb