معناشناسی فرآیندهای احتمالی: یک رویکرد عملیاتی
Semantics of Probabilistic Processes: An Operational Approach
نویسنده: Yuxin Deng (auth.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2014
تعداد صفحات: 258
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت