Введение в формальные методы верификации программ-20% +242  (бонуса)
💳 Оплатить за товар можно при получении 🇰🇿 Есть бесплатная доставка по Казахстану 🎁 Копите бонусы с каждой покупки Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. Список тем включает: методы формализации семантики языков программирования (операционная и аксиоматическая семантика), методы формальной спецификации требований (программные контракты и темпоральная логика линейного времени), методы доказательства корректности программ (метод индуктивных утверждений и метод фундированных множеств) и методы проверки моделей (теоретико-автоматный подход в явной и символической формах); затрагиваются вопросы абстрактной интерпретации, разрешения ограничений, применения формальных методов в тестировании; даются сведения об инструментах Frama-C/AstraVer, Spin и SMV. Каждая глава сопровождается примерами и упражнениями. Книга предназначена для студентов и аспирантов программистских специальностей, а также преподавателей и исследователей в области информатики и программной инженерии. |
ДМК Пресс, Россия, все товары
 В 1992 году появилась на свет компания «ДМК Пресс», изначально основанная как книготорговая фирма, фокусирующаяся на предоставлении качественной литературы в области компьютерных технологий и радиотехники. С тех пор она прошла долгий путь развития, превратившись в одно из ведущих издательств с широким спектром направлений.
Одной из отличительных черт «ДМК Пресс» является постоянное стремление к инновациям и следование современным тенденциям. Это проявляется не только в разнообразии... |
%text%