در حال بارگذاری…
اصول تفسیر انتزاعی
مقدمه‌ای بر تفسیر انتزاعی، با مثال‌هایی از کاربردها در معناشناسی، مشخصات، تأیید و تحلیل ایستا برنامه‌های کامپیوتری.
مقدمه‌ای بر تفسیر انتزاعی، با مثال‌هایی از کاربردها در معناشناسی، مشخصات، تأیید و تحلیل ایستا برنامه‌های کامپیوتری. روش‌های صوری، تکنیک‌هایی با دقت ریاضی برای مشخصات، توسعه، دستکاری و تأیید سیستم‌های نرم‌افزاری و سخت‌افزاری ایمن و قوی هستند. تفسیر انتزاعی یک نظریه یکپارچه از روش‌های صوری است که روش‌شناسی کلی برای اثبات صحت سیستم‌های محاسباتی بر اساس معناشناسی آن‌ها پیشنهاد می‌کند.
انتخاب‌های نزدیک به این کتاب
جو فود
ربکا استات
تور نوررتارندرس
جان براکمن
لوری والمارک
پل هاوکن