-
- Неужто ты и Драконом пользуешься? - max(18.05.2018 07:23)
- Нет, на практике не использую. Но книги по нему прочитал внимательно, игрался со средой. - Evgeny_CD(18.05.2018 13:48)
- Шалыто в книге 2011 года уверенно пишет про темпоральную логику как способ верификации автоматных программ. Так что знает. - Evgeny_CD(18.05.2018 02:53)
- Неужто ты и Драконом пользуешься? - max(18.05.2018 07:23)