دانلود کتاب Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
دسته: کامپیوتر
کتاب راهنمای منطق در علوم کامپیوتر. جلد 4: مدلسازی معنایی نسخه زبان اصلی
دانلود کتاب راهنمای منطق در علوم کامپیوتر. جلد 4: مدلسازی معنایی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
نام کتاب : Handbook of Logic in Computer Science. Volume 4: Semantic Modelling
عنوان ترجمه شده به فارسی : کتاب راهنمای منطق در علوم کامپیوتر. جلد 4: مدلسازی معنایی
سری :
نویسندگان : Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
ناشر : Clarendon Press
سال نشر : 1995
تعداد صفحات : 668
ISBN (شابک) : 0198537808 , 9780198537809
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 49 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
راهنمای منطق در علوم کامپیوتر یک اثر چند جلدی است که تمام زمینه های اصلی کاربرد منطق در علوم کامپیوتر نظری را پوشش می دهد. این شامل شش جلد است که هر کدام شامل پنج یا شش فصل است که یک مرور عمیق از یکی از موضوعات اصلی در این زمینه ارائه می دهد. کتاب راهنما نتیجه سال‌ها تلاش مشترک محققان برجسته در این منطقه است و بدون شک برای سال‌های آینده مرجع استاندارد در منطق و علوم کامپیوتر نظری خواهد بود. جلد 4: مدلسازی معنایی موضوعات اساسی مدلسازی معنایی در منطق و محاسبات را پوشش می‌دهد. محتویات شامل مدل هایی برای همزمانی، جبر فرآیند عینی، مطابقت بین معنایی عملیاتی و معنایی، جبرهای مؤثر و تفسیر انتزاعی است.
توضیحاتی در مورد کتاب به زبان اصلی :
The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. The handbook is the result of many years of cooperative effort by eminent researchers in the area, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 4: Semantic Modelling covers the fundamental topics of semantic modelling in logic and computation. Contents include models for concurrency, concrete process algebra, correspondence between operational and denotational semantics, effective algebras, and abstract interpretation.