max (18.05.2018 07:23, просмотров: 392) ответил Evgeny_CD на Просто охренеть можно! Мощнейший аппарат описания поведения любого ПО и верификации реального ПО на соответствие модели. Море книг. Стройный математический аппарат. Интересно, Шалыто со своим автоматным программированием, создатель Дракона - ониГонит неудачников По миру с котомкою, Жизнь текёт меж пальчиков Паутинкой тонкою.
-
- Нет, на практике не использую. Но книги по нему прочитал внимательно, игрался со средой. - Evgeny_CD(18.05.2018 13:48)