Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Вторник
1 апреля
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
Средства и методы разработки
982424
Топик полностью
Vit
(28.02.2020 11:35, просмотров: 255)
ответил
Evgeny_CD
на
Офигеть! Да что же сегодня за день такой - когда открываются тайны Вселенной... Свежая книга
Introduction to C program proof with Frama-C and its WP plugin
Лицензия свободная.
:)
https://www.youtube.com/watch?v=JHtmpkZUq74
Ответить