4. Множественные цели в Coq. Д-во корректности Constant Folding
Канал видеоролика: Computer Science Center

Смотреть видео:
#информатика #егэинформатика #икт #экзамены #егэ_2020 #мгту #школьникам #помощь_студентам #подготовкакэкзаменам
Свежая информация для ЕГЭ и ОГЭ по Информатике (листай):
Облегчи жизнь другим ученикам - поделись! (плюс тебе в карму):