“دانلود کتاب Specification and verification of declarative open interaction models : a logic-based approach – مشخصات و تأیید مدل‌های تعامل...” به سبد شما افزوده شد. خرید کتاب‌های بیشتر