ВходНаше всё Теги codebook PARTS Поиск Опросы Закон Пятница
14 августа
/843549
Evgeny_CD, Архитектор (26.05.2018 02:34 - 02:58, просмотров: 217)
[OpenComRTOS] -> Книга, которая описывает как была сделана эта RTOS --> на основе системы формальной верификации TLA/TLA+ Бумага внутри. ссылка ссылка TLA/TLA+ http://caxapa.ru/843547.html
Ответить