Логика Хоара

Среда, 24 марта 2021
Онлайн, занятие в zoom