j
k
j a
j l
Все работы проверены, результаты в таблице, жду вас завтра с 9 до 11 в к.761.
С уважением, Константин Савенков.
Показать ответы по дате
model-checking@asvk.cs.msu.ru
Добавить в избранное Удалить из избранного