Вклад участника
Материал из eSyr's wiki.
(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)
- 21:49, 10 февраля 2008 (история) (разн.) ВПнМ, 01 лекция (от 08 февраля) (→Области применения верификации на моделях)
- 21:49, 10 февраля 2008 (история) (разн.) ВПнМ, 01 лекция (от 08 февраля) (→Области применения вериф. на моделях)
- 21:48, 10 февраля 2008 (история) (разн.) ВПнМ, 01 лекция (от 08 февраля) (→История развития)
- 21:42, 10 февраля 2008 (история) (разн.) ВПнМ, 01 лекция (от 08 февраля) (→Автоматизируемость)
- 21:40, 10 февраля 2008 (история) (разн.) ВПнМ, 01 лекция (от 08 февраля) (→Верификация программ на моделях)
(Новейшие | Старейшие) Просмотреть (Более новые 50) (Более старые 50) (20 | 50 | 100 | 250 | 500)