Для студентов МГУ им. Ломоносова по предмету Надёжность программного обеспеченияК. Савенков - Верификация программ на моделях (2010)К. Савенков - Верификация программ на моделях (2010)
2019-09-182019-09-18СтудИзба
Лекции: К. Савенков - Верификация программ на моделях (2010)
Описание
Описание файла отсутствует
Характеристики лекций
Тип
Учебное заведение
Семестр
Просмотров
46
Скачиваний
4
Размер
8,41 Mb
Список файлов
- К. Савенков - Верификация программ на моделях (2010)
- lect01.pdf 389,78 Kb
- lect02.pdf 708,36 Kb
- lect03.pdf 943,7 Kb
- lect04.pdf 970,11 Kb
- lect05.pdf 943,48 Kb
- lect06.pdf 1,07 Mb
- lect07.pdf 1014,48 Kb
- lect08.pdf 1,22 Mb
- lect09.pdf 730,79 Kb
- lect10.pdf 1,6 Mb
- lect11.pdf 339,63 Kb
- Прочти меня!!!.txt 136 b
Прочти меня!!!
Файл скачан с сайта StudIzba.com
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать