در حال بارگذاری…
ویژگی‌های مدال و زمانی فرآیندها
این کتاب مقدمه‌ای بر ویژگی‌های مدال و زمانی فرآیندها است.
این کتاب مقدمه‌ای بر ویژگی‌های مدال و زمانی فرآیندها است. این اثر به شکلی منظم به بررسی حساب فرآیندها برای مدل‌سازی سیستم‌های همزمان، ویژگی‌های مدال سیستم‌ها، منطق مو-حسابی و تکنیک‌های تایید ویژگی‌های زمانی از جمله مدل‌چکینگ و بازی‌های نظری می‌پردازد.
انتخاب‌های نزدیک به این کتاب
استیون دی. گالبریت
کریس هیونن
جیمز اف. دیویس
کورنلیا دروتو
اولگ بوگوپولسکی
جیمز دابلیو. ویک