دانلود کتاب Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers (به فارسی: سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب) نوشته شده توسط «Natarajan Shankar (auth.) – Alberto Pettorossi (eds.)»
اطلاعات کتاب سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Natarajan Shankar (auth.) – Alberto Pettorossi (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2002
تعداد صفحه: 272
حجم کتاب: 2 مگابایت
کد کتاب: 3540439153 , 9783540439158
نوبت چاپ: 1
توضیحات کتاب سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب
این کتاب مجموعه مقالات پس از داوری کامل یازدهمین کارگاه بین المللی سنتز و تبدیل برنامه مبتنی بر منطق، LOPSTR 2001، در پافوس، قبرس، در نوامبر 2001 برگزار شد.
13 مقاله کامل اصلاح شده همراه با مقاله دعوت شده ارائه شد. در طی دو دور بررسی و بازنگری با دقت انتخاب و بهبود یافتند. مقالات در بخش های موضوعی در مورد تغییر و معادل سازی برنامه، تأیید برنامه، تجزیه و تحلیل برنامه، توسعه برنامه، و ترکیب برنامه سازماندهی شده اند.
The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.