خرید و دانلود نسخه کامل کتاب Programming Logics: Essays in Memory of Harald Ganzinger

منطق برنامه نویسی: مقاله هایی در حافظه هارالد گانزینگر

Programming Logics: Essays in Memory of Harald Ganzinger

نویسنده: Andrei Voronkov, Christoph Weidenbach

ناشر: Springer

سال انتشار: 2013

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

زبان: English

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

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