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