Файловое хранилище

root / csd / 5-6 (отдельные курсы) / Мат. методы вериф. программ и схем (Захаров)

1. книги

10 сент. 2025 г., 13:12

Открыть

2. слайды (2016)

10 сент. 2025 г., 13:17

Открыть

3. домашние задания

10 сент. 2025 г., 13:19

Открыть

4. distr (NuSMV, spin, uppaal)

10 сент. 2025 г., 13:16

Открыть

5. самоделы

10 сент. 2025 г., 13:17

Открыть

6. варианты прошлых лет

10 сент. 2025 г., 13:18

Открыть

о курсе.txt

2.0 KB

10 сент. 2025 г., 13:10

Просмотр Скачать