خرید و دانلود نسخه کامل کتاب Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

مدل‌های رسمی سیستم‌های ارتباطی: زبان‌ها، خودکارها، و منطق مرتبه دوم مونادیک (متون در علوم کامپیوتر نظری. سری Eatcs)

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

نویسنده: Benedikt Bollig

ناشر: Springer

سال انتشار: 2006

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

زبان: English

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

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