Вопросы с тегом TLA + формализация - PullRequest
Новая

Вопросы с тегом TLA + формализация

0 голосов
1 ответ
Вопросы о постоянном операторе в TLA +

Я недавно читаю книгу "Специфицирующие системы".В главе 5 Лесли определяет оператор константы Send...

Oliver Young / 11 февраля 2019
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...