Участник:StasFomin/Bookmarks/Algorithms

Материал из DISCOPAL
< Участник:StasFomin‎ | Bookmarks
Версия от 11:31, 13 октября 2020; StasFomin (обсуждение | вклад) (Добавлена закладка vasil-sd/engineering-sw-hw-model-checking-letures: Lectures in MIPT: intro to engineering software using model-checking.)

Перейти к: навигация, поиск

2020

2020-10

2020-09

2020-08

2020-07