Деревья Брауна. Рандомизированное тестирование. Внешняя и внутренняя верификация. Экстракция.
Пятница, 24 апреля 2020
Онлайн, занятие в zoom