![]() |
||||
Средства и методы разработки |
Новая тема Правила Регистрация | Поиск »» Архив |
•Вернуться в конференцию •Топик полностью |
Evgeny_CD (26.05.2018 02:34 - 26.05.2018 02:58, файл(ы), ссылка, ссылка, просмотров: 141)
[OpenComRTOS] -> Книга, которая описывает как была сделана эта RTOS --> на основе системы формальной верификации TLA/TLA+ Бумага внутри. TLA/TLA+ caxapa.ru/843547.html |
![]() |
Главная |
Карта сайта |
О проекте |
Проекты |
Файлообменник |
Регистрация |
Вебмастер |
RSS
Лето 7527 от сотворения мира. При использовании материалов сайта ссылка на caxapу обязательна.
MMI © MMXIX |