Introduction to Bisimulation and Coinduction

خرید و دانلود نسخه کامل کتاب Introduction to Bisimulation and Coinduction

مقدمه ای بر Bisimulation و Coinduction

Introduction to Bisimulation and Coinduction

نویسنده: Davide Sangiorgi

ناشر: Cambridge University Press

سال انتشار: 2011

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

زبان: English

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

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

112,000 تومان 73,000 تومان