Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
моделирование по
Связанные издания:
Engineering Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017
Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019
Formal Methods: Foundations and Applications: Proc./17th Brazilian Symposium, SBMF 2014, Maceio,AL,Brazil, September 2014
Reachability Problems: Proc./8th International Workshop, RP 2014, Oxford, UK, September 2014