منطق و مدل های سیستم های همزمان
Logics and models of concurrent systems
نویسنده: Krzysztof R Apt; North Atlantic Treaty Organization. Scientific Affairs Division (ed.)
ناشر: Springer-Verlag
سال انتشار: 1985
تعداد صفحات: 509
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت