Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
reusable
Связанные издания:
A Fault-Tolerant Software Architecture for Component-Based Systems
Constructive Action Semantics in OBJ
Formal Methods and Software Engineering: Proc./11th International Conference, ICFEM 2009, Rio de Janeiro, Brazil, December 2009
Generative and Transformational Techniques in Software Engineering II: Revised Papers/International Summer School, GTTSE 2007. Braga, Portugal, July 2007
Interprocedural Dataflow Analysis in the Presence of Large Libraries
Transactions on Aspect-Oriented Software Development VII