Современные направления проверки правильности программ (лекция 9

Современные направления проверки правильности программ (лекция 9

Все фотографии: Задачи проекта как сформулировать примеры