در حال بارگذاری…
سیستم‌های همزمان و بلادرنگ: رویکرد CSP
رویکرد CSP به طور گسترده‌ای در مشخص‌سازی، تحلیل و تایید سیستم‌های همزمان و بلادرنگ استفاده شده است. این کتاب به بررسی زبان CSP، مدل‌های معنایی و کاربرد آن‌ها در مدل‌سازی و تایید سیستم‌ها می‌پردازد و برای دوره‌های پیشرفته دانشگاهی مناسب است.
رویکرد CSP به طور گسترده‌ای در مشخص‌سازی، تحلیل و تایید سیستم‌های همزمان و بلادرنگ استفاده شده است. این کتاب به بررسی زبان CSP، مدل‌های معنایی و کاربرد آن‌ها در مدل‌سازی و تایید سیستم‌ها می‌پردازد و برای دوره‌های پیشرفته دانشگاهی مناسب است.
انتخابهای نزدیک به این کتاب
جری کاپلان
ژاکی مکنیش
سیوبهان کریتون
اچ. راجر گرانت
ادموند ام. کلارک جونیور
نل بی. دیل