ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Понедельник
22 июля
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
1147503 Топик полностью
Evgeny_CD, Архитектор (20.11.2021 16:05, просмотров: 83) ответил Evgeny_CD на Очень интересная преза
Интересно про CompCert - французский С компилер с формальной верификацией. 

http://caxapa.ru/1058214.html

Ответить