-
Жанры
-
Художественная литература
- Приключения 75083
- Фантастика 100897
- Фэнтези 73474
- Детектив 59379
- Ужасы 48028
- Роман 70045
- Классическая литература 60314
- Историческая проза 8094
- Современная проза 141702
- Детская литература
- Культура и искусство
- Научная литература
- История
- Бизнес
- Прикладная литература
- Документальная литература
- Образование
- Дом и семья
- Физическая культура
- Здоровье
- Литература на иностранных языках
-
Художественная литература
- Книги
- Рецензии
- Сообщество
- Блоги
- Цитаты
- Тесты
- Подборки
- Премии
- Конкурсы
- Другое
- Главная
- Авторы
- Сергей Яхонтов
- Книги Сергея Яхонтова
Книги Сергея Яхонтова
Сергей Яхонтов - автор 1 книги. Из известных произведений можно выделить: Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие. Все книги можно читать онлайн и бесплатно скачивать на нашем портале.
В основе данного учебного пособия лежит курс лекций прочитанный автором на математико-механическом факультете СПбГУ. В пособии рассматриваются методы формальных спецификаций, основанные на тройках Хора, и методы дедуктивной верификации императивных программ, а также построенный на основе данных методов язык программирования со встроенными формальными спецификациями Spec#. Подробно рассматриваются ...
Если у Вас возникли вопросы по работе сайта - напишите нам!
нашли ошибку на странице!
Нейросеть ориентируется на оценки прочитанных вами книг
поиск
Найдите книгу, автора, подборку, издательство, жанр, настроение или друга на Книгогид
подборки
Создавайте подборки с книгами, которые вы прочитали, подписывайтесь на подборки интересных пользователей.
Регистрируясь, вы соглашаетесь с нашими Условиями и политикой конфиденциальности
Книгогид использует cookie-файлы для того, чтобы сделать вашу работу с сайтом ещё более комфортной. Если Вы продолжаете пользоваться нашим сайтом, вы соглашаетесь на применение файлов cookie.