خرید و دانلود نسخه کامل کتاب Logics for Concurrency: Structure versus Automata

منطق همزمانی: ساختار در مقابل اتوماسیون

Logics for Concurrency: Structure versus Automata

نویسنده: Faron Moller, Graham Birtwistle (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1996

تعداد صفحات: 278

زبان: English

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

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