دانلود کتاب Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
دسته: منطق
کتاب سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب نسخه زبان اصلی
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
نام کتاب : Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : سنتز و تحول برنامه مبتنی بر منطق: یازدهمین کارگاه بین المللی، LOPSTR 2001 پافوس، قبرس، 28 تا 30 نوامبر 2001 مقالات منتخب
سری : Lecture Notes in Computer Science 2372
نویسندگان : Natarajan Shankar (auth.), Alberto Pettorossi (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2002
تعداد صفحات : 274
ISBN (شابک) : 3540439153 , 9783540439158
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.