Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
надежное программное обеспечение
Связанные издания:
Engineering Trustworthy Software Systems: Tutorial Lecture/1st International School, SETSS 2014, Chongqing, China, September 2014
Formal Methods and Software Engineering: Proc./18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 2016
Formal Methods and Software Engineering: Proc./19th International Conference on FEM, ICFEM 2017, Xi an, China, November 2017
Product-Focused Software Process Improvement: Proc./16th International Conference, PROFES 2015, Bolzano, Italy, Dexmber 2015
Reliable Software Technologies - Ada-Europe 2014: Proc./19th Ada-Europe International Conference on RST, Paris, France, June 2014
Reliable Software Technologies - Ada-Europe 2018: Proc./23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 2018
Software Engineering for Resilient Systems: Proc./6th International Workshop, SERENE 2014, Budapest, Hungary, October 2014
Testing Software and Systems: Proc./29th IFIP WG 6.1 International Conference, ICTSS 2017, St.Petersburg, Russia, October 2017