К. Рустан М. Лейно
Произведения автора 1
Только полные версии книг
РОМАНЫ и ПОВЕСТИ
электронная книга
Год написания книги 2023
Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации дл…