TLA⁺

Материал из DZWIKI
Версия от 21:02, 26 марта 2023; Dzmuh (обсуждение | вклад) (Новая страница: «'''TLA<sup>+</sup>''' — язык спецификаций, основанный на теории множеств, логике первого порядка и темпоральной логике действий ({{lang-en|TLA, temporal logic of actions}}). Разработан Лэмпорт, Лесли|Лесли Лэмп...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

TLA+ — язык спецификаций, основанный на теории множеств, логике первого порядка и темпоральной логике действий (англ. TLA, temporal logic of actions). Разработан Лесли Лэмпортом, исследователем теории распределённых систем.

Ссылки

Wikipedia-logo-v2.svg
В русской википедии есть страница «TLA⁺».
Источник — https://wiki.dzmuh.com/index.php?title=TLA⁺&oldid=11354