Книги автора К. Рустан М. Лейно

Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддержив…