Для студентов МГУ им. Ломоносова 7 семестрa по предмету Надёжность программного обеспечения
К. Савенков - Верификация программ на моделях (2010)К. Савенков - Верификация программ на моделях (2010)
2019-09-18
2019-09-18
СтудИзба
К. Савенков - Верификация программ на моделях (2010)
Описание
Описание файла отсутствует
Список файлов в архиве
- К. Савенков - Верификация программ на моделях (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
При копировании или цитировании материалов на других сайтах обязательно используйте ссылку на источник
Комментарии
Сопутствующие материалы
FREE
Е.Н. Еремин - Основы химической термодинамики
Физическая химия
FREE
Гради Буч - Объектно-ориентированный анализ и проектирование с примерами приложений на С++
Объектно-ориентированный анализ и проектирование
FREE
Дж. Рамбо, М. Блаха - UML 2.0 - Объектно-ориентированное моделирование и разработка
Объектно-ориентированный анализ и проектирование
Контент-анализ статьи «С чего начать» В.И. Ленин
Социология
FREE
С.А. Ахманов, Ю.Е. Дьяков, А.С. Чиркин - Статистическая радиофизика
Математические модели флуктуационных явлений
FREE
Ю.Л. Словохотов - Материалы по курсу кристаллохимии (2012)
Кристаллохимия
