Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
модельно-ориентированный
Связанные издания:
Automated Deduction - CADE-23: Proc./23rd International Conference on AD, Wroclaw, Poland, July/August 2011
Coordination, Organizations, Institutions, and Norms in Agent Systems V: Revised Selected Papers/ COIN 2009 IW, COIN@AAMAS 2009, COIN@IJCAI 2009, COIN@MALLOW 2009
FM 2011: Formal Methods: Proc./17th International Symposium on Formak Methods, Limerick, Ireland, June 2011
Formal Aspects of Component Software: Revised Selected Papers/13th International Conference, FACS 2016, Besancon, France, October 2016
Formal Methods for Industrial Critical Systems: Proc./16th International Workshop, FMICS 2011, Trento, Italy, August 2011
Fundamental Approaches to Software Engineering: Proc./16th International Conference, FASE 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, March 2013
Fundamntal Approaches to Software Engineering: Proc./12th International Conference, EASE 2009, ETAPS 2009, York, UK, March 2009
Generative and Transformational Techniques in Software Engineering: Revised Papers/International Summer School, GTTSE 2006. Braga, Portugal, July 2005
Model-Based Safety and Assessment: Proc./4th International Symposium, IMBSA 2014, Munich, Germany, October 2014
Model Driven Architecture - Foundations and Applications: Proc./4th European Conference, ECMDA-FA 2008. Berlin, Germany, June 2008
Models in Software Engineering: Reports and Revised Selected Papers/Workshops and Symposia at MoDELS 2007. Nashville, TN, USA, September/October 2007
Search Based Software Engineering: Proc./3rd International Symposium, SSBSE 2011, Szeged, Hungary, September 2011
Testing Software and Systems: Proc./22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 2010
Tests and Proofs: Proc./6th International Conference, TAP 2012, Prague, Czech Republic, May 2012
Проектирование сертифицированного компилятора предикатных программ
Разработка сертифицированного компилятора предикатных программ