خرید و دانلود نسخه کامل کتاب Logics and models of concurrent systems

منطق و مدل های سیستم های همزمان

Logics and models of concurrent systems

نویسنده: E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1985

تعداد صفحات: 500 [494]

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 5 مگابایت