м. лейно

  1. Arkadia

    Скачать [ДМК] Доказательство корректности программ [К. Рустан, М. Лейно]

    Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности...
Сверху