خرید و دانلود نسخه کامل کتاب Software Abstractions: Logic, Language, and Analysis

انتزاعات نرم افزار: منطق ، زبان و تحلیل

Software Abstractions: Logic, Language, and Analysis

نویسنده: Daniel Jackson

ناشر: The MIT Press

سال انتشار: 2012

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

زبان: English

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

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