منطق معین و جبر فرآیند: چشم انداز دو زایی
Modal logic and process algebra: A bisimulation perspective
نویسنده: Alban Ponse, Maarten de Rijke, Yde Venema
ناشر: CSLI Publications
سال انتشار: 1995
تعداد صفحات: 351
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت