0.0
Подписчики
Сергей Яхонтов
Краткая биография автора
На нашем книжном сайте Вы можете скачать книги автора Сергея Яхонтова в самых разных форматах (epub, fb2, pdf, txt и многие другие). А так же читать книги онлайн и бесплатно на любом устройстве – iPad, iPhone, планшете под управлением Android, на любой специализированной читалке. Электронная библиотека КнигоГид предлагает литературу Сергея Яхонтова в жанрах .
Творчество Сергея Яхонтова
На нашем сайте представлена 1 книга автора Сергея Яхонтова. Самая популярная по мнению наших читателей "".
Информатика
0.0
0
Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются ...
