методы верификации программ

  1. АLИSА

    Скачать [ДМК] Методы верификации программ [Алексей Миронов]

    В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге...
Сверху