Доказательство корректности программ К. Рустан М. Лейно Информатика Бакалавриат Специалитет 2024 • 530 стр. • 12.2 MB 10 1