Слово «pattern» в переводе с английского означает «Шаблон», который описывает общую идею или концепцию для решения определенной задачи. В рамках курса мы НЕ будем рассматривать «классические» паттерны, такие как «Синглтон», «Фабрика», «Адаптер» и т. д. Вместо этого рассмотрим повторяемые...
Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности...
Для чего и кого курс:
Курс написан таким образом и языком, что имея компьютер средней мощности и базовые навыки перемещения курсора мыши по экрану монитора, абсолютно любой человек сможет настроить защищённую систему с нуля и до продвинутого уровня.
Будет полезен всем, кто по роду деятельности...