دانلود کتاب Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers (به فارسی: سنتز و تحول برنامه مبتنی بر منطق: دهمین کارگاه بین المللی، LOPSTR 2000 لندن، بریتانیا، 24 تا 28 ژوئیه، 2000 مقالات منتخب) نوشته شده توسط «Kung-Kiu Lau (auth.)»
اطلاعات کتاب سنتز و تحول برنامه مبتنی بر منطق: دهمین کارگاه بین المللی، LOPSTR 2000 لندن، بریتانیا، 24 تا 28 ژوئیه، 2000 مقالات منتخب
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Kung-Kiu Lau (auth.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 188
حجم کتاب: 2 مگابایت
کد کتاب: 9783540421276 , 3540421270
نوبت چاپ: 1
توضیحات کتاب سنتز و تحول برنامه مبتنی بر منطق: دهمین کارگاه بین المللی، LOPSTR 2000 لندن، بریتانیا، 24 تا 28 ژوئیه، 2000 مقالات منتخب
این کتاب مقالات کامل بازبینی شده از دهمین کارگاه بین المللی سنتز و تبدیل برنامه مبتنی بر منطق، LOPSTR 2000، که در ژوئیه سال 2000 در لندن، انگلستان، به عنوان بخشی از کنفرانس بین المللی منطق محاسباتی برگزار شد، ارائه می کند.
10 مقاله کامل بازبینی شده ارائه شده دو دور بررسی، انتخاب و بازنگری را پشت سر گذاشته اند. این کتاب در بخش‌های موضوعی سنتز، تبدیل، تحلیل، تخصص و تفسیر انتزاعی تقسیم شده است.
The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.
