16+
Понедельник
24 сентября
Вход |Карта сайта | |Upload |codebook | PARTS

 О смысле всего сущего 0xFF

 Средства и методы разработки

 Мобильная и беспроводная связь

 Блошиный рынок Объявления

caxapa

Микроконтроллеры ARM 

AVR PIC MSP PLD,FPGA,DSP 

Кибернетика Технологии 

Схемы, платы, компоненты 

Средства и методы разработки

 
   Новая тема Правила Регистрация Поиск »» Архив
Вернуться в конференциюТопик полностью
Evgeny_CD  (26.05.2018 02:26, ссылка, ссылка, просмотров: 94)
[Формальная верификация ПО] - [TLA, TLA+, PlusCal, TLC model checker, TLAPS] [Temporal Logic of Actions] -> творение монстра по имени Leslie Lamport -->, M$ Research между прочим. 
Книга - скачивается lamport.azurewebsites.net/tla/book.html Большая книга, скачивается The TLA+ Hyperbook lamport.azurewebsites.net/tla/hyperbook.html Очень стройная система формального описания ПО и моделирования на основе такого описания.
Главная | Карта сайта | О проекте | Проекты | Файлообменник | Регистрация | Вебмастер | RSS
Лето 7527 от сотворения мира. При использовании материалов сайта ссылка на caxapу обязательна.
MMI © MMXVIII