автор: Christophe Ringeissen

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in Saint-Gilles-les-Bains, R’e …

…

This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, Fro Co S 2013, held in Nancy, France, in September 2013. The 20 revised full paper …