Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Среда
2 апреля
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
Средства и методы разработки
841675
Топик полностью
max
(18.05.2018 07:23, просмотров: 305)
ответил
Evgeny_CD
на
Просто охренеть можно! Мощнейший аппарат описания поведения любого ПО и верификации реального ПО на соответствие модели. Море книг. Стройный математический аппарат. Интересно, Шалыто со своим автоматным программированием, создатель Дракона - они
Неужто ты и Драконом пользуешься?
Гонит неудачников По миру с котомкою, Жизнь текёт меж пальчиков Паутинкой тонкою.
Ответить
Нет, на практике не использую. Но книги по нему прочитал внимательно, игрался со средой.
-
Evgeny_CD
(18.05.2018 13:48
)