Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
runtime
Связанные издания:
Business Process Management: Proc./11th International Conference, BPM 2013, Beijing, China, August 2013
Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014
Formal Modelling and Analysis of Timed Systems: Proc./7th International Conference, FORMATS 2009, Budapest, Hungary, September 2009
Generative and Transformational Techniques in Software Engineering IV: Revised Papes/ International Summer School, GTTSE 2011, Braga, Portugal, July 2011
Grand Timely Topics in Software Engineering: Tutorial Lectures/International Summer School GTTSE 2015, Braga, Portugal, August 2015
Languages and Compilers for Parallel Computing: Revised Selected Papers/26th International Workshop, LCPC 2013, San Jose,CA,USA, September 2013
Reliable Software Technologies - Ada-Eurupe 2010: Proc./15th Ada-Europe International Conference, Valencia, Spain, June 2010
Runtime Verification: Proc./19th International Conference, RV 2019, Porto, Portugal, October 2019
Runtime Verification: Revised Selected Papers/7th International Workshop, RV 2007. Vancouver, Canada, March 2007
Runtime Verification: Selected Papers/9th International Workshop, RV 2009. Grenoble, France, June 2009