методы верификации программ
-
Скачать [ДМК] Методы верификации программ (Алексей Миронов)
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге...- Aноним
- Тема
- алексей миронов дмк жизнь которые меняют жизнь магия меняют жизнь методы верификации программ практическая магия практическая магия рун. рунескрипты рун ренескрипты
- Ответы: 0
- Форум: Электронные книги