تگ: ابزارهای صوری

کتاب تسلط بر برنامه‌نویسی موازی: طراحی و پیاده‌سازی سیستم‌های چندپردازنده‌ای با رویکرد شبکه‌های پتری پیشرفته