Treller's home page

Учебные материалы / Формальная спецификация и верификация программ / Коллоквиум / Разбор типовых задач

Разбор типовых задач

Задача 1

• Задача 1. С консультации

Задача 2

• С лекций
• Из билета 109
• Из билета 110