Вопросы по теме 'tla+'
Идеи для проекта TLA +
Пожалуйста, дайте мне несколько предложений по теме проекта в TLA + язык. Я прохожу курс по языку, это первый год, когда я изучаю спецификацию и проверку, и я понятия не имею, что выбрать для реализации через две недели. Любые идеи?
875 просмотров
schedule
04.05.2024