Cálculo para el modelado formal de arquitecturas de software basadas en componentes cálculo−ρarq.pdf (バージョン 1.0)
アップロードはArquisoft Adminから, 18/12/10 0:58
タグ: arquitecturas de software semántica operacional sistemas distribuidos uml 2.x cálculo ρarq componentes de software métodos formales álgebra de procesos especificación formal de software