علم علم

کتابچه راهنمای علوم کامپیوتر نظری. جلد ب: مدلهای صوری و معناشناسی

Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

دانلود کتاب Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics (به فارسی: کتابچه راهنمای علوم کامپیوتر نظری. جلد ب: مدلهای صوری و معناشناسی) نوشته شده توسط «Jan van Leeuwen (ed.)»

اطلاعات کتاب کتابچه راهنمای علوم کامپیوتر نظری. جلد ب: مدلهای صوری و معناشناسی

موضوع اصلی: علوم (عمومی)

نوع: کتاب الکترونیکی

ناشر: Elsevier; MIT Press

نویسنده: Jan van Leeuwen (ed.)

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1990

تعداد صفحه: 1254

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

کد کتاب: 0444880747 , 9780444880741

توضیحات کتاب کتابچه راهنمای علوم کامپیوتر نظری. جلد ب: مدلهای صوری و معناشناسی

بخش دوم این کتاب راهنما انتخابی از مطالب در مورد تئوری خودکارها و سیستم‌های بازنویسی، مبانی زبان‌های برنامه‌نویسی مدرن، منطق برای مشخصات برنامه و تأیید، و برخی از فصل‌ها در مورد مدل‌سازی نظری پردازش اطلاعات پیشرفته را ارائه می‌دهد.

br>

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

دانلود کتاب «کتابچه راهنمای علوم کامپیوتر نظری. جلد ب: مدلهای صوری و معناشناسی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها

دیدگاهتان را بنویسید

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان