9781522593843 - formal and adaptive methods for automation of parallel programs construction: emerging research and opportunities (advances in systems analysis, software engineering, and high performance computing) von doroshenko, anatoliy; yatsenko, olena (1 Ergebnisse)