Конспект лекций по "Аналитической верификации программ", прочитанных в рамках курса по "Формальным методам спецификации программ" на факультете вмик мгу им. Ломоносова
Введите цифры на картинке: