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

Evgeny_CD^{Архитектор} (17.05.2018 23:56, просмотров: 381) ответил fk0 на Ну хоть до понятия temporal logic дошли, где-то и автоматы значит есть. Не-студенты таких понятий часто не знают. Плохо что ли? Дали бы сразу инструкцию как с Promela/SPIN работать. Я почти осилил -- вещь.